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 /extra | |
parent | b4130ddf24d9612cce4cb043e9b15acc086369a1 (diff) | |
download | alacritty-7ceb638ff80eca99ac63df5fd8cbb2f703d4637a.tar.gz 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 'extra')
0 files changed, 0 insertions, 0 deletions