From f6f444bc2d3a9f95a206c9d09843d54009f89f58 Mon Sep 17 00:00:00 2001 From: wayne Date: Wed, 2 Oct 2019 13:49:19 -0500 Subject: Add live config reload for font size --- alacritty_terminal/src/term/mod.rs | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'alacritty_terminal/src') diff --git a/alacritty_terminal/src/term/mod.rs b/alacritty_terminal/src/term/mod.rs index 17416bad..58d06318 100644 --- a/alacritty_terminal/src/term/mod.rs +++ b/alacritty_terminal/src/term/mod.rs @@ -938,6 +938,11 @@ impl Term { self.dynamic_title = config.dynamic_title(); self.auto_scroll = config.scrolling.auto_scroll; self.grid.update_history(config.scrolling.history() as usize, &self.cursor.template); + + if self.original_font_size == self.font_size { + self.font_size = config.font.size; + } + self.original_font_size = config.font.size; } #[inline] -- cgit v1.2.3-54-g00ecf