> And (B) is what you get by setting `redisplay-dont-pause'.
>
> It WAS, but not any more.
It still IS, since redisplay-dont-pause _also_ controls whether input
interrupts redisplay.
No, what redisplay-dont-pause gives you is NOT (B).
(B) says that redisplay still only starts when there is no input,
and thanks to the recent change in sit-for, that is not what
redisplay-dont-pause does nowadays.
_______________________________________________
emacs-pretest-bug mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
