mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-14 12:34:44 +02:00
Automatic color scheme switching: Fix title bar color not being updated
Fixes #9167
This commit is contained in:
@@ -258,9 +258,10 @@ def patch_colors(
|
||||
t = tm.active_tab
|
||||
if t is not None:
|
||||
t.relayout_borders()
|
||||
set_os_window_chrome(tm.os_window_id)
|
||||
os_window_ids.add(tm.os_window_id)
|
||||
patch_global_colors(spec, configured)
|
||||
patch_global_colors(spec, configured) # changes macos_titlebar_color
|
||||
for oswid in os_window_ids:
|
||||
set_os_window_chrome(oswid)
|
||||
default_bg_changed = 'background' in spec
|
||||
notify_bg = notify_on_bg_change and default_bg_changed
|
||||
boss = get_boss()
|
||||
|
||||
@@ -1200,7 +1200,8 @@ PYWRAP1(patch_global_colors) {
|
||||
else if (PyLong_Check(val)) OPT(name) = PyLong_AsLong(val); \
|
||||
} \
|
||||
}
|
||||
P(active_border_color); P(inactive_border_color); P(bell_border_color); P(tab_bar_background); P(tab_bar_margin_color);
|
||||
P(active_border_color); P(inactive_border_color); P(bell_border_color); P(tab_bar_background);
|
||||
P(tab_bar_margin_color); P(macos_titlebar_color); P(wayland_titlebar_color);
|
||||
if (configured) {
|
||||
P(background); P(url_color);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user