Re: Display slowness that is painful

[Stefan Monnier]

> Perhaps we should have some form of timer associated with the
> (default) redisplay-dont-pause == nil case, so that even if
> input_pending, we will still update the display if the last completed
> redisplay happened more than, say 2 seconds ago.

We should probably do the usual "competitive analysis": keep track of the
amount of time thrown away because redisplay got interrupted, and when the
sum gets higher than the amount of time it would take to do a full
redisplay, then force a full redisplay.

This way we can guarantee we're within a factor 2 of the optimal setting for
redisplay-dont-pause.


        Stefan


PS: Of course, we maybe don't know how much time a full redisplay would take
and we probably don't want to keep track of actual time anyway, only some
estimate of "amount of work".