diff options
author | Aaron Bockover <abock@microsoft.com> | 2019-04-08 22:23:26 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-08 22:23:26 +0300 |
commit | 11609b486485c286e56698517f7530b68cb66fca (patch) | |
tree | 668ba63e16954aeea51441f09f8aaf3ec0f15b80 /main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Editor | |
parent | 38b86782631f117fdc3dbffde5738c5f58687377 (diff) | |
parent | a591dbf957e555a7ca013d33513e11b9e8b18890 (diff) |
Merge pull request #389 from xamarin/pr-sandy-zoomzoomzoom
Zoom: Persist in new editor, sync with old
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Editor')
-rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Editor/TextEditorFactory.cs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Editor/TextEditorFactory.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Editor/TextEditorFactory.cs index ede57aee9e..23ca9fe8b4 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Editor/TextEditorFactory.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Editor/TextEditorFactory.cs @@ -81,7 +81,7 @@ namespace MonoDevelop.Ide.Editor return currentFactory.CreateNewDocument (textSource, fileName, mimeType); } - static ConfigurationProperty<double> zoomLevel = ConfigurationProperty.Create ("Editor.ZoomLevel", 1.0d);
+ public static ConfigurationProperty<double> ZoomLevel = ConfigurationProperty.Create ("Editor.ZoomLevel", 1.0d);
public static TextEditor CreateNewEditor(string fileName, string mimeType, TextEditorType textEditorType = TextEditorType.Default)
{
@@ -99,7 +99,7 @@ namespace MonoDevelop.Ide.Editor private static void InitializeTextEditor(TextEditor textEditor) {
- textEditor.ZoomLevel = zoomLevel; + textEditor.ZoomLevel = ZoomLevel; textEditor.ZoomLevelChanged += OnZoomChanged; } @@ -107,7 +107,7 @@ namespace MonoDevelop.Ide.Editor static void OnZoomChanged (object sender, EventArgs args) { var editor = (TextEditor)sender; - zoomLevel.Value = editor.ZoomLevel; + ZoomLevel.Value = editor.ZoomLevel; } public static TextEditor CreateNewEditor (IReadonlyTextDocument document, TextEditorType textEditorType = TextEditorType.Default) @@ -115,7 +115,7 @@ namespace MonoDevelop.Ide.Editor if (document == null) throw new System.ArgumentNullException ("document"); var result = new TextEditor (currentFactory.CreateNewEditor (document, textEditorType), textEditorType) { - ZoomLevel = zoomLevel + ZoomLevel = ZoomLevel }; result.ZoomLevelChanged += OnZoomChanged; return result; |