From 691bf75b35906112eba767a6ee698a5f25c07243 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 25 Oct 2021 10:17:48 +0530 Subject: [PATCH] Fix tab bar not being redrawn when colors changed by set-colors Fixes #4152 --- kitty/boss.py | 1 + 1 file changed, 1 insertion(+) diff --git a/kitty/boss.py b/kitty/boss.py index ff5430d1f..a2e17fba7 100755 --- a/kitty/boss.py +++ b/kitty/boss.py @@ -1699,6 +1699,7 @@ class Boss: setattr(opts, k, color_from_int(v)) for tm in self.all_tab_managers: tm.tab_bar.patch_colors(spec) + tm.mark_tab_bar_dirty() patch_global_colors(spec, configured) def apply_new_options(self, opts: Options) -> None: