[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: redisplay-dont-pause
From: |
Richard Stallman |
Subject: |
Re: redisplay-dont-pause |
Date: |
Fri, 16 Sep 2011 20:36:30 -0400 |
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.
--
Dr Richard Stallman
President, Free Software Foundation
51 Franklin St
Boston MA 02110
USA
www.fsf.org www.gnu.org
Skype: No way! That's nonfree (freedom-denying) software.
Use free telephony http://directory.fsf.org/category/tel/
- Re: redisplay-dont-pause, (continued)
Re: redisplay-dont-pause, Christoph Scholtes, 2011/09/14
Re: redisplay-dont-pause, Richard Stallman, 2011/09/15
- Re: redisplay-dont-pause, Eli Zaretskii, 2011/09/15
- Re: redisplay-dont-pause, Richard Stallman, 2011/09/15
- Re: redisplay-dont-pause, Eli Zaretskii, 2011/09/16
- Re: redisplay-dont-pause, Richard Stallman, 2011/09/16
- Re: redisplay-dont-pause, Eli Zaretskii, 2011/09/16
- Re: redisplay-dont-pause,
Richard Stallman <=
- Re: redisplay-dont-pause, Eli Zaretskii, 2011/09/17
- Re: redisplay-dont-pause, Chong Yidong, 2011/09/17
- Re: redisplay-dont-pause, Eli Zaretskii, 2011/09/24
- Re: redisplay-dont-pause, Stefan Monnier, 2011/09/17
- Re: redisplay-dont-pause, Juanma Barranquero, 2011/09/18