x_update_frame_user_time_window 19622 src/xterm.c x_update_frame_user_time_window (f); x_update_frame_user_time_window 28698 src/xterm.c x_update_frame_user_time_window (f);