DisplayAppSettingsTabProvider(TextEditorSettingsImpl textEditorSettingsImpl, IEditorOptionsFactoryService editorOptionsFactoryService, FileTreeViewSettingsImpl fileTreeViewSettings, FileTabManagerSettingsImpl fileTabManagerSettings)
 {
     this.textEditorSettingsImpl = textEditorSettingsImpl;
     this.editorOptions          = editorOptionsFactoryService.GlobalOptions;
     this.fileTreeViewSettings   = fileTreeViewSettings;
     this.fileTabManagerSettings = fileTabManagerSettings;
 }
 TabMiscOptionProvider(FileTreeViewSettingsImpl fileTreeViewSettings)
 {
     this.fileTreeViewSettings = fileTreeViewSettings;
 }
Example #3
0
 TabMiscOptionCreator(FileTreeViewSettingsImpl fileTreeViewSettings)
 {
     this.fileTreeViewSettings = fileTreeViewSettings;
 }
Example #4
0
 DisplayAppSettingsTabCreator(TextEditorSettingsImpl textEditorSettings, FileTreeViewSettingsImpl fileTreeViewSettings, FileTabManagerSettingsImpl fileTabManagerSettings)
 {
     this.textEditorSettings     = textEditorSettings;
     this.fileTreeViewSettings   = fileTreeViewSettings;
     this.fileTabManagerSettings = fileTabManagerSettings;
 }