diff options
| author | wayne <wayne.warren.s@gmail.com> | 2019-10-02 13:49:19 -0500 |
|---|---|---|
| committer | Christian Duerr <contact@christianduerr.com> | 2019-10-02 20:49:19 +0200 |
| commit | f6f444bc2d3a9f95a206c9d09843d54009f89f58 (patch) | |
| tree | 11b5bf8f97c15c731425df7bf5cbb91e2aec43e3 /alacritty_terminal/src/term/mod.rs | |
| parent | 3e82aa28300d8b283508ebce43b5ede946fb672c (diff) | |
| download | alacritty-f6f444bc2d3a9f95a206c9d09843d54009f89f58.tar.gz alacritty-f6f444bc2d3a9f95a206c9d09843d54009f89f58.zip | |
Add live config reload for font size
Diffstat (limited to 'alacritty_terminal/src/term/mod.rs')
| -rw-r--r-- | alacritty_terminal/src/term/mod.rs | 5 |
1 files changed, 5 insertions, 0 deletions
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] |