Example #1
0
 public DisplayAppSettingsTab(TextEditorSettings textEditorSettings, FileTreeViewSettings fileTreeViewSettings, FileTabManagerSettings fileTabManagerSettings)
 {
     this.textEditorSettings = textEditorSettings;
     this.fileTreeViewSettings = fileTreeViewSettings;
     this.fileTabManagerSettings = fileTabManagerSettings;
     this.displayAppSettingsVM = new DisplayAppSettingsVM(textEditorSettings.Clone(), fileTreeViewSettings.Clone(), fileTabManagerSettings.Clone());
 }
Example #2
0
 public DisplayAppSettingsTab(TextEditorSettings textEditorSettings, FileTreeViewSettings fileTreeViewSettings, FileTabManagerSettings fileTabManagerSettings)
 {
     this.textEditorSettings     = textEditorSettings;
     this.fileTreeViewSettings   = fileTreeViewSettings;
     this.fileTabManagerSettings = fileTabManagerSettings;
     this.displayAppSettingsVM   = new DisplayAppSettingsVM(textEditorSettings.Clone(), fileTreeViewSettings.Clone(), fileTabManagerSettings.Clone());
 }
 public DisplayAppSettingsTab(TextEditorSettingsImpl textEditorSettingsImpl, IEditorOptions editorOptions, FileTreeViewSettings fileTreeViewSettings, FileTabManagerSettings fileTabManagerSettings)
 {
     this.textEditorSettingsImpl = textEditorSettingsImpl;
     this.editorOptions          = editorOptions;
     this.fileTreeViewSettings   = fileTreeViewSettings;
     this.fileTabManagerSettings = fileTabManagerSettings;
     this.displayAppSettingsVM   = new DisplayAppSettingsVM(new TextEditorSettingsVM(textEditorSettingsImpl, editorOptions), fileTreeViewSettings.Clone(), fileTabManagerSettings.Clone());
 }