Set a PANE_STYLECHANGED flag for when a style update has to be sent.

This commit is contained in:
Jonathan Slenders
2025-02-25 21:16:49 +00:00
parent e536f48d0e
commit b32b596531
12 changed files with 34 additions and 23 deletions

View File

@@ -1165,7 +1165,7 @@ options_push_changes(const char *name)
if (strcmp(name, "window-style") == 0 ||
strcmp(name, "window-active-style") == 0) {
RB_FOREACH(wp, window_pane_tree, &all_window_panes)
wp->flags |= PANE_STYLECHANGED;
wp->flags |= (PANE_STYLECHANGED|PANE_THEMECHANGED);
}
if (strcmp(name, "pane-colours") == 0) {
RB_FOREACH(wp, window_pane_tree, &all_window_panes)