diff options
| author | Kirill Chibisov <contact@kchibisov.com> | 2023-10-15 05:37:58 +0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-15 05:37:58 +0400 |
| commit | 7ceb638ff80eca99ac63df5fd8cbb2f703d4637a (patch) | |
| tree | d9223b1c5fdc67ecfea6a2b60a0b7d27514462ef /alacritty/src/window_context.rs | |
| parent | b4130ddf24d9612cce4cb043e9b15acc086369a1 (diff) | |
| download | r-alacritty-7ceb638ff80eca99ac63df5fd8cbb2f703d4637a.tar.gz r-alacritty-7ceb638ff80eca99ac63df5fd8cbb2f703d4637a.tar.bz2 r-alacritty-7ceb638ff80eca99ac63df5fd8cbb2f703d4637a.zip | |
Fix `window.decorations_theme_variant` reload
The live reload handling wasn't introduced when the option got added.
Fixes #7295.
Diffstat (limited to 'alacritty/src/window_context.rs')
| -rw-r--r-- | alacritty/src/window_context.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/alacritty/src/window_context.rs b/alacritty/src/window_context.rs index 6a536ca4..ed384e4c 100644 --- a/alacritty/src/window_context.rs +++ b/alacritty/src/window_context.rs @@ -303,6 +303,9 @@ impl WindowContext { self.display.pending_update.set_font(font); } + // Always reload the theme to account for auto-theme switching. + self.display.window.set_theme(self.config.window.decorations_theme_variant); + // 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.) |