Need to redraw borders now when some things change. Also change default so that

the active border colour is different in a mode or with synchronize-panes on.
This commit is contained in:
Nicholas Marriott
2020-04-29 08:55:21 +01:00
parent 2d151d8ca5
commit 3d76748161
8 changed files with 23 additions and 8 deletions

View File

@ -1109,6 +1109,7 @@ window_pane_set_mode(struct window_pane *wp, struct window_pane *swp,
wp->screen = wme->screen;
wp->flags |= (PANE_REDRAW|PANE_CHANGED);
server_redraw_window_borders(wp->window);
server_status_window(wp->window);
notify_pane("pane-mode-changed", wp);
@ -1140,6 +1141,7 @@ window_pane_reset_mode(struct window_pane *wp)
}
wp->flags |= (PANE_REDRAW|PANE_CHANGED);
server_redraw_window_borders(wp->window);
server_status_window(wp->window);
notify_pane("pane-mode-changed", wp);
}