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(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());
}