Re: redisplay-dont-pause does not work

[Richard Stallman]

Does this fix it?

*** dispnew.c   01 May 2006 16:16:58 -0400      1.363
--- dispnew.c   27 May 2006 20:01:39 -0400      
***************
*** 6405,6411 ****
  {
    swallow_events (display);
  
!   if (detect_input_pending_run_timers (display) || !NILP 
(Vexecuting_kbd_macro))
      return Qnil;
  
    if (initial_display)
--- 6405,6414 ----
  {
    swallow_events (display);
  
!   if ((detect_input_pending_run_timers (display)
!        && NILP (Vredisplay_dont_pause))
!       || !NILP (Vexecuting_kbd_macro))
!       
      return Qnil;
  
    if (initial_display)