|
@@ -36,12 +36,10 @@ public partial class MainWindow : Window
|
|
|
{
|
|
|
if (Keyboard.Modifiers == ModifierKeys.Control)
|
|
|
{
|
|
|
- var newSize = Settings.Default.Height + e.Delta;
|
|
|
-
|
|
|
- newSize = Math.Max(newSize, 16);
|
|
|
- newSize = Math.Min(newSize, 160);
|
|
|
-
|
|
|
- Settings.Default.Height = newSize;
|
|
|
+ // Scale size based on scroll amount, with one notch on a default PC mouse being a change of 15%.
|
|
|
+ var steps = e.Delta / (double)Mouse.MouseWheelDeltaForOneLine;
|
|
|
+ var change = Settings.Default.Height * steps * 0.15;
|
|
|
+ Settings.Default.Height = Math.Min(Math.Max(Settings.Default.Height + change, 16), 160);
|
|
|
}
|
|
|
}
|
|
|
|