@@ -221,7 +221,7 @@ export class PreferencesService extends Disposable implements IPreferencesServic
221
221
...options ,
222
222
focusSearch : true
223
223
} ;
224
- return this . editorService . openEditor ( input , options ? { ...SettingsEditorOptions . create ( options ) , override : EditorOverride . DISABLED } : { override : EditorOverride . DISABLED } )
224
+ return this . editorService . openEditor ( input , options ? SettingsEditorOptions . create ( { ...options , override : EditorOverride . DISABLED } ) : { override : EditorOverride . DISABLED } )
225
225
. then ( ( ) => this . editorGroupService . activeGroup . activeEditorPane ! ) ;
226
226
}
227
227
@@ -364,7 +364,7 @@ export class PreferencesService extends Disposable implements IPreferencesServic
364
364
this . editorService . openEditor ( editableSettingsEditorInput , { pinned : true , revealIfOpened : true , override : EditorOverride . DISABLED } , sideEditorGroup . id )
365
365
] ) . then ( ( [ defaultEditor , editor ] ) => withNullAsUndefined ( editor ) ) ;
366
366
} else {
367
- return this . editorService . openEditor ( editableSettingsEditorInput , { ...SettingsEditorOptions . create ( options ) , override : EditorOverride . DISABLED } , group ) ;
367
+ return this . editorService . openEditor ( editableSettingsEditorInput , SettingsEditorOptions . create ( { ...options , override : EditorOverride . DISABLED } ) , group ) ;
368
368
}
369
369
} ) ;
370
370
}
@@ -381,7 +381,7 @@ export class PreferencesService extends Disposable implements IPreferencesServic
381
381
const defaultPreferencesEditorInput = this . instantiationService . createInstance ( DefaultPreferencesEditorInput , this . getDefaultSettingsResource ( configurationTarget ) ) ;
382
382
const preferencesEditorInput = new PreferencesEditorInput ( this . getPreferencesEditorInputName ( configurationTarget , resource ) , editableSettingsEditorInput . getDescription ( ) , defaultPreferencesEditorInput , < EditorInput > editableSettingsEditorInput ) ;
383
383
this . lastOpenedSettingsInput = preferencesEditorInput ;
384
- return this . editorService . openEditor ( preferencesEditorInput , { ...SettingsEditorOptions . create ( options ) , override : EditorOverride . DISABLED } , group ) ;
384
+ return this . editorService . openEditor ( preferencesEditorInput , SettingsEditorOptions . create ( { ...options , override : EditorOverride . DISABLED } ) , group ) ;
385
385
} ) ;
386
386
}
387
387
0 commit comments