[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: redisplay-dont-pause
From: |
Juanma Barranquero |
Subject: |
Re: redisplay-dont-pause |
Date: |
Sun, 18 Sep 2011 13:07:48 +0200 |
On Sat, Sep 17, 2011 at 23:30, Stefan Monnier <address@hidden> wrote:
> Whenever I tried to play with it, it never seemed to
> make much difference either way for me.
With line-by-line scrolling the effect is quite noticeable, at least on Windows.
Juanma
- Re: redisplay-dont-pause, (continued)
- 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
- Re: redisplay-dont-pause,
Juanma Barranquero <=