Lines Matching refs:userOptions

76     private userOptions: UserOptions,
85     return this.userOptions;
255     if (this.userOptions['showDiff']?.isUnavailable !== undefined) {
256       this.userOptions['showDiff'].isUnavailable =
315   async applyHierarchyUserOptionsChange(userOptions: UserOptions) {
316     this.userOptions = userOptions;
400       this.userOptions['showDiff']?.enabled &&
401       !this.userOptions['showDiff']?.isUnavailable
417     if (this.userOptions['flat']?.enabled) {
422     if (this.userOptions['showOnlyVisible']?.enabled) {
430     if (this.userOptions['simplifyNames']?.enabled) {