version 1.358, 2020/06/18 08:34:22 |
version 1.359, 2020/07/06 09:14:20 |
|
|
* Otherwise resize to the force size and start the timer. |
* Otherwise resize to the force size and start the timer. |
*/ |
*/ |
if (wp->flags & PANE_RESIZENOW) { |
if (wp->flags & PANE_RESIZENOW) { |
log_debug("%s: resizing %%%u after forced resize", __func__, wp->id); |
log_debug("%s: resizing %%%u after forced resize", |
|
__func__, wp->id); |
window_pane_send_resize(wp, 0); |
window_pane_send_resize(wp, 0); |
wp->flags &= ~(PANE_RESIZE|PANE_RESIZEFORCE|PANE_RESIZENOW); |
wp->flags &= ~(PANE_RESIZE|PANE_RESIZEFORCE|PANE_RESIZENOW); |
} else if (!evtimer_pending(&wp->force_timer, NULL)) { |
} else if (!evtimer_pending(&wp->force_timer, NULL)) { |
log_debug("%s: forcing resize of %%%u", __func__, wp->id); |
log_debug("%s: forcing resize of %%%u", __func__, |
|
wp->id); |
window_pane_send_resize(wp, 1); |
window_pane_send_resize(wp, 1); |
server_client_start_force_timer(wp); |
server_client_start_force_timer(wp); |
} |
} |