KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix tab bar not being redrawn when colors changed by set-colors

Browse Source 
Fixes #4152
This commit is contained in:
Kovid Goyal 2021-10-25 10:17:48 +05:30
parent 63e23d7fe3
commit 691bf75b35
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
kitty/boss.py
View File

@ -1699,6 +1699,7 @@ class Boss:
setattr(opts, k, color_from_int(v)) setattr(opts, k, color_from_int(v))
for tm in self.all_tab_managers: for tm in self.all_tab_managers:
tm.tab_bar.patch_colors(spec) tm.tab_bar.patch_colors(spec)
tm.mark_tab_bar_dirty()
patch_global_colors(spec, configured) patch_global_colors(spec, configured)
def apply_new_options(self, opts: Options) -> None: def apply_new_options(self, opts: Options) -> None: