Re: redisplay-dont-pause does not work

[Richard Stallman <rms@gnu.org>]

	  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.