Re: redisplay-dont-pause

[Eli Zaretskii]

> Date: Fri, 16 Sep 2011 20:36:30 -0400
> From: Richard Stallman <address@hidden>
> CC: address@hidden
> 
>     Perhaps if you describe the design of how the old display engine kept
>     records about up-to-dateness of display portions, we could see if the
>     same design principles can be used with the current display engine,
>     and maybe implement such a feature.
> 
> I could if someone wants to work on this, but is it worth doing?
> If we have no need to support pausing the display any more,
> it wouldn't be worth spending time to implement this now.

I agree, so let's wait for the decision by Stefan and Chong whether to
change the default of this variable.