Searched refs:server_client_resize_timer (Results 1 – 1 of 1) sorted by relevance
2704 server_client_resize_timer(__unused int fd, __unused short events, void *data) in server_client_resize_timer() function2726 evtimer_set(&wp->resize_timer, server_client_resize_timer, wp); in server_client_check_pane_resize()