x_update_frame_user_time_window 19305 src/xterm.c x_update_frame_user_time_window (f); x_update_frame_user_time_window 28084 src/xterm.c x_update_frame_user_time_window (f);