Searched refs:propertiesOpts (Results 1 – 1 of 1) sorted by relevance
232 const propertiesOpts = this.propertiesPresenter.getUserOptions(); constant234 if (propertiesOpts['showDiff']?.isUnavailable !== undefined) {235 propertiesOpts['showDiff'].isUnavailable = !hasPreviousEntry;