Allow Changing FontSize by ctrl+mousewheel

Added the ability to change fontsize by leftctrl+mousewheel
JulienKluge · Mar 9, 2015 · 8715ed6 · 8715ed6
1 parent c0e6c86
commit 8715ed6
Showing 1 changed file with 13 additions and 3 deletions.
diff --git a/UI/Components/EditorElement.xaml.cs b/UI/Components/EditorElement.xaml.cs
@@ -147,8 +147,11 @@ public void Save(bool Force = false)
 
         public void UpdateFontSize(double size)
         {
-            editor.FontSize = size;
-            StatusLine_FontSize.Text = size.ToString("n0") + " pt";
+            if (size > 2 && size < 31)
+            {
+                editor.FontSize = size;
+                StatusLine_FontSize.Text = size.ToString("n0") + " pt";
+            }
         }
 
         public async void Close(bool ForcedToSave = false, bool CheckSavings = true)
@@ -203,7 +206,14 @@ private void TextArea_SelectionChanged(object sender, EventArgs e)
 
         private void PrevMouseWheel(object sender, MouseWheelEventArgs e)
         {
-            editor.ScrollToVerticalOffset(editor.VerticalOffset - ((double)e.Delta * editor.FontSize * Program.OptionsObject.Editor_ScrollSpeed));
+            if (Keyboard.IsKeyDown(Key.LeftCtrl))
+            {
+                UpdateFontSize(editor.FontSize + Math.Sign(e.Delta));
+            }
+            else
+            {
+                editor.ScrollToVerticalOffset(editor.VerticalOffset - ((double)e.Delta * editor.FontSize * Program.OptionsObject.Editor_ScrollSpeed));
+            }
             e.Handled = true;
             HideISAC();
         }