version 1.66, 2021/03/11 06:31:05 |
version 1.67, 2021/08/12 19:47:05 |
|
|
markedwp = marked_pane.wp; |
markedwp = marked_pane.wp; |
|
|
if (lastwp != NULL) { |
if (lastwp != NULL) { |
|
lastwp->flags |= (PANE_REDRAW|PANE_STYLECHANGED); |
server_redraw_window_borders(lastwp->window); |
server_redraw_window_borders(lastwp->window); |
server_status_window(lastwp->window); |
server_status_window(lastwp->window); |
} |
} |
if (markedwp != NULL) { |
if (markedwp != NULL) { |
|
markedwp->flags |= (PANE_REDRAW|PANE_STYLECHANGED); |
server_redraw_window_borders(markedwp->window); |
server_redraw_window_borders(markedwp->window); |
server_status_window(markedwp->window); |
server_status_window(markedwp->window); |
} |
} |