Re: redisplay-dont-pause does not work

[Richard Stallman <rms@gnu.org>]

Thanks.  Does this do it?

*** dispnew.c	01 May 2006 16:16:58 -0400	1.363
--- dispnew.c	28 May 2006 19:07:02 -0400	
***************
*** 356,362 ****
  static void add_frame_display_history P_ ((struct frame *, int));
  static void add_window_display_history P_ ((struct window *, char *, int));
  
! 
  /* Add to the redisplay history how window W has been displayed.
     MSG is a trace containing the information how W's glyph matrix
     has been constructed.  PAUSED_P non-zero means that the update
--- 356,363 ----
  static void add_frame_display_history P_ ((struct frame *, int));
  static void add_window_display_history P_ ((struct window *, char *, int));
  
! extern Lisp_Object Vredisplay_dont_pause;
! \f
  /* Add to the redisplay history how window W has been displayed.
     MSG is a trace containing the information how W's glyph matrix
     has been constructed.  PAUSED_P non-zero means that the update
***************
*** 6405,6411 ****
  {
    swallow_events (display);
  
!   if (detect_input_pending_run_timers (display) || !NILP (Vexecuting_kbd_macro))
      return Qnil;
  
    if (initial_display)
--- 6406,6415 ----
  {
    swallow_events (display);
  
!   if ((detect_input_pending_run_timers (display)
!        && NILP (Vredisplay_dont_pause))
!       || !NILP (Vexecuting_kbd_macro))
!       
      return Qnil;
  
    if (initial_display)