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

Ensure border rects are updated when patching colors

Browse Source
This commit is contained in:
Kovid Goyal 2021-10-25 12:37:29 +05:30
parent f78feb5abf
commit a44a3195ab
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
kitty/boss.py
View File

@ -1702,6 +1702,9 @@ class Boss:
tm.tab_bar.patch_colors(spec) tm.tab_bar.patch_colors(spec)
tm.tab_bar.layout() tm.tab_bar.layout()
tm.mark_tab_bar_dirty() tm.mark_tab_bar_dirty()
t = tm.active_tab
if t is not None:
t.relayout_borders()
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: