add_frame_display_history 3326 src/dispnew.c        add_frame_display_history (f, paused_p);
add_frame_display_history 3383 src/dispnew.c    add_frame_display_history (f, paused_p);