Getting rid of redisplay-dont-pause

[Stefan Monnier]

I'm planning on obsoleting redisplay-dont-pause.  Any objection?

AFAIK, the only effect it has it to sometimes skip the actual redraw of
some windows, but nowadays this is always a fast operation (compared to
the total time to perform redisplay).  Furthermore, when a redisplay is
"paused" this way, the next redisplay sometimes ends up having to do
more work to "cleanup the mess".


        Stefan