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

[Drew Adams]

    Normal redisplay is restarted whenever it is interrupted by user
    input.  For example, pressing and holding the down-arrow key will be
    "randomly jumpy" -- depending on the speed of the computer vs. the key
    "repeat rate" of the keyboard.

    The only way to get "more fluent" display updates is by setting
    redisplay-dont-pause.  I also used to set it when I had a slower
    computer --- these days, it usually manages to keep up with my
    typing, so it doesn't really matter.

That's exactly the info I was looking for - thank you. I think that should
be said in the doc, so people can know what this variable is all about.

I did not understand that "redisplay is restarted whenever it is interrupted
by user input."  I thought that user input _inhibited_ redisplay (but that a
redisplay would eventually occur).