diff options
Diffstat (limited to 'alacritty/src/window_context.rs')
| -rw-r--r-- | alacritty/src/window_context.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/alacritty/src/window_context.rs b/alacritty/src/window_context.rs index 7c2754e0..885d71a4 100644 --- a/alacritty/src/window_context.rs +++ b/alacritty/src/window_context.rs @@ -312,10 +312,11 @@ impl WindowContext { self.display.pending_update.set_font(font); } - // Update display if padding options were changed. + // Update display if either padding options or resize increments were changed. let window_config = &old_config.window; if window_config.padding(1.) != self.config.window.padding(1.) || window_config.dynamic_padding != self.config.window.dynamic_padding + || window_config.resize_increments != self.config.window.resize_increments { self.display.pending_update.dirty = true; } |