diff options
Diffstat (limited to 'alacritty/src')
| -rw-r--r-- | alacritty/src/config/window.rs | 4 | ||||
| -rw-r--r-- | alacritty/src/display/mod.rs | 8 | ||||
| -rw-r--r-- | alacritty/src/window_context.rs | 3 |
3 files changed, 12 insertions, 3 deletions
diff --git a/alacritty/src/config/window.rs b/alacritty/src/config/window.rs index 476172d1..98bc18b6 100644 --- a/alacritty/src/config/window.rs +++ b/alacritty/src/config/window.rs @@ -53,6 +53,9 @@ pub struct WindowConfig { #[cfg(target_os = "macos")] pub option_as_alt: OptionAsAlt, + /// Resize increments. + pub resize_increments: bool, + /// Pixel padding. padding: Delta<u8>, @@ -74,6 +77,7 @@ impl Default for WindowConfig { opacity: Default::default(), padding: Default::default(), dimensions: Default::default(), + resize_increments: Default::default(), #[cfg(target_os = "macos")] option_as_alt: Default::default(), } diff --git a/alacritty/src/display/mod.rs b/alacritty/src/display/mod.rs index 79b8f528..f1757ae6 100644 --- a/alacritty/src/display/mod.rs +++ b/alacritty/src/display/mod.rs @@ -470,7 +470,9 @@ impl Display { } // Set resize increments for the newly created window. - window.set_resize_increments(PhysicalSize::new(cell_width, cell_height)); + if config.window.resize_increments { + window.set_resize_increments(PhysicalSize::new(cell_width, cell_height)); + } window.set_visible(true); @@ -646,7 +648,9 @@ impl Display { new_size.reserve_lines(message_bar_lines + search_lines); // Update resize increments. - self.window.set_resize_increments(PhysicalSize::new(cell_width, cell_height)); + if config.window.resize_increments { + self.window.set_resize_increments(PhysicalSize::new(cell_width, cell_height)); + } // Resize PTY. pty_resize_handle.on_resize(new_size.into()); 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; } |