[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: |
Thu, 15 Sep 2011 00:12:00 -0400 |
Any objections to change the default value of this option to t? The
reasons for its nil value are long gone, AFAIK, and it definitely
improves user experience when redisplay needs to work hard.
How does setting it to t improve things?
--
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/
- redisplay-dont-pause, Eli Zaretskii, 2011/09/14
- Re: redisplay-dont-pause, Christoph Scholtes, 2011/09/14
- Re: redisplay-dont-pause,
Richard Stallman <=
- 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, 2011/09/16
- 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