Re: redisplay-dont-pause does not work

[David Kastrup]

Richard Stallman <address@hidden> writes:

>         You can request a display update, but only if no input is pending,
>       with @code{(sit-for 0)}.  To force a display update even when input is
>       pending, do this:
>
>       @example
>       (let ((redisplay-dont-pause t))
>         (sit-for 0))
>       @end example
>
>     Yes, I see a contradiction here.  Setting `redisplay-dont-pause' does
>     not have the declared effect, to wit "to force a display update even
>     when input is pending".
>
> I think that text in the manual is mistaken.  `redisplay-dont-pause'
> only affects redisplay itself.  It has no effect on sit-for, which
> isn't (strictly speaking) redisplay.
>
> We could change the code, or change the manual.
> I am not sure which is better.

Given that there is no other way to force redisplay, I think it would
be sensible to change the code.  The manual would not talk about this
possibility if there was not a perceived need for it.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum