Re: redisplay-dont-pause does not work

[David Kastrup <dak@gnu.org>]

storm@cua.dk (Kim F. Storm) writes:

> Richard Stallman <rms@gnu.org> writes:
>
>> Thanks.  Does this do it?
>
> Obviously not, as the variable is named redisplay_dont_pause.
>
> Try this:
>
> *** dispnew.c	01 May 2006 16:16:58 -0400	1.363
> --- dispnew.c	28 May 2006 19:07:02 -0400	
> ***************
> *** 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)
> !	 && !redisplay_dont_pause)
> !	|| !NILP (Vexecuting_kbd_macro))
> !	
>       return Qnil;
>   
>     if (initial_display)

This works as documented in the manual.  The effect with a non-zero
argument to sit-for is that redisplay happens immediately, then the
wait is commenced until (or unless) input is available.  Which appears
natural enough.  I propose checking this change in.  It might be worth
mentioning redisplay-dont-pause in the DOC string of sit-for.  If
people agree, I could write something for there.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum