Re: redisplay-dont-pause is not mentioned in the Emacs manual

[Richard Stallman]

    The idea is:

    (A) Don't _start_ redisplay if there is pending input,
        i.e. process all available input before starting redisplay.

    (B) Don't _interrupt_ redisplay once it has started.

That is interesting.  I never thought about the question that way.

When redisplay is as fast as it usually is nowadays, perhaps
pre-emption after redisplay starts is entirely unnecessary.  We could
set up a speed value above which pre-emption never occurs, and we
could arrange to specify that speed for various kinds of terminals
that are normally very fast.


    And (B) is what you get by setting `redisplay-dont-pause'.

It WAS, but not any more.  We just recently changed sit-for so it will
start a redisplay even when there is input, if `redisplay-dont-pause'
is t.