![]() ![]() | ![]() |
version 1.32, 2020/04/13 10:59:58 | version 1.33, 2020/05/16 15:01:30 | ||
---|---|---|---|
|
|
||
} | } | ||
wp->flags |= PANE_REDRAW; | wp->flags |= PANE_REDRAW; | ||
server_redraw_window_borders(wp->window); | |||
server_status_window(wp->window); | server_status_window(wp->window); | ||
environ_free(sc.environ); | environ_free(sc.environ); |