diff options
author | Kirill Osenkov <github@osenkov.com> | 2019-01-08 05:57:43 +0300 |
---|---|---|
committer | Kirill Osenkov <github@osenkov.com> | 2019-01-08 05:57:43 +0300 |
commit | 7565d7525c3e96f2b40c81e3e70aa7c3bd835d2b (patch) | |
tree | d21007d64c682ba6b563d8c1a5a7ff48a1a90e29 /main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Editor/DefaultSourceEditorOptions.cs | |
parent | be9302c3b8c14fbde009f4a6350e091edecbf4c5 (diff) |
Add an option to Enable New Editor (disabled by default).
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Editor/DefaultSourceEditorOptions.cs')
-rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Editor/DefaultSourceEditorOptions.cs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Editor/DefaultSourceEditorOptions.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Editor/DefaultSourceEditorOptions.cs index 332b67a09e..9709e52d1c 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Editor/DefaultSourceEditorOptions.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Editor/DefaultSourceEditorOptions.cs @@ -383,6 +383,17 @@ namespace MonoDevelop.Ide.Editor } } + ConfigurationProperty<bool> enableNewEditor = ConfigurationProperty.Create ("EnableNewEditor", false); + public bool EnableNewEditor { + get { + return enableNewEditor; + } + set { + if (enableNewEditor.Set (value)) + OnChanged (EventArgs.Empty); + } + } + ConfigurationProperty<bool> enableSemanticHighlighting = ConfigurationProperty.Create ("EnableSemanticHighlighting", true); public bool EnableSemanticHighlighting { get { |