[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: redisplay-dont-pause
From: |
Stefan Monnier |
Subject: |
Re: redisplay-dont-pause |
Date: |
Sat, 17 Sep 2011 17:30:21 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) |
>> 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.
I don't have any strong opinion on this. So if you want to change it,
I think it's OK. Whenever I tried to play with it, it never seemed to
make much difference either way for me.
Stefan
- Re: redisplay-dont-pause, (continued)
- 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, 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 <=
- Re: redisplay-dont-pause, Juanma Barranquero, 2011/09/18