add_frame_display_history 3358 src/dispnew.c        add_frame_display_history (f, paused_p);
add_frame_display_history 3415 src/dispnew.c    add_frame_display_history (f, paused_p);