Searched refs:resize_timer (Results 1 – 3 of 3) sorted by relevance
2709 evtimer_del(&wp->resize_timer); in server_client_resize_timer()2725 if (!event_initialized(&wp->resize_timer)) in server_client_check_pane_resize()2726 evtimer_set(&wp->resize_timer, server_client_resize_timer, wp); in server_client_check_pane_resize()2727 if (evtimer_pending(&wp->resize_timer, NULL)) in server_client_check_pane_resize()2781 evtimer_add(&wp->resize_timer, &tv); in server_client_check_pane_resize()
1008 if (event_initialized(&wp->resize_timer)) in window_pane_destroy()1009 event_del(&wp->resize_timer); in window_pane_destroy()
1149 struct event resize_timer; member