version 1.19, 2014/10/20 22:29:25 |
version 1.20, 2014/10/21 22:22:04 |
|
|
wp->flags &= ~PANE_INPUTOFF; |
wp->flags &= ~PANE_INPUTOFF; |
else if (args_has(self->args, 'd')) |
else if (args_has(self->args, 'd')) |
wp->flags |= PANE_INPUTOFF; |
wp->flags |= PANE_INPUTOFF; |
else { |
else if (window_set_active_pane(wl->window, wp)) { |
window_set_active_pane(wl->window, wp); |
|
server_status_window(wl->window); |
server_status_window(wl->window); |
server_redraw_window_borders(wl->window); |
server_redraw_window_borders(wl->window); |
} |
} |