[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Removing redisplay-dont-pause
From: |
Eli Zaretskii |
Subject: |
Re: Removing redisplay-dont-pause |
Date: |
Sun, 01 Dec 2024 12:08:33 +0200 |
> From: Mattias Engdegård <mattias.engdegard@gmail.com>
> Date: Sun, 1 Dec 2024 10:46:39 +0100
> Cc: emacs-devel@gnu.org,
> gerd.moellmann@gmail.com,
> monnier@iro.umontreal.ca
>
> 30 nov. 2024 kl. 10.58 skrev Eli Zaretskii <eliz@gnu.org>:
>
> > Any opinions? Or should we install Gerd's changes?
>
> What's the downside, worse interactive performance on 2400 bit/s serial
> terminals?
I don't think the terminal connection speed is the main issue. The
main issue is do we want the ability to interrupt redisplay if it
takes too long and new input is available. We do know that redisplay
is sometimes slow. One example is scrolling through a large buffer,
when JIT fontification takes too long, and the user already pressed
C-v.
But if no one customizes this variable to a nil value, at least in
some cases, then keeping it is not important.
- Re: Removing redisplay-dont-pause, Mattias Engdegård, 2024/12/01
- Re: Removing redisplay-dont-pause,
Eli Zaretskii <=
- Re: Removing redisplay-dont-pause, Ihor Radchenko, 2024/12/01
- Re: Removing redisplay-dont-pause, Eli Zaretskii, 2024/12/01
- Re: Removing redisplay-dont-pause, Ihor Radchenko, 2024/12/01
- Re: Removing redisplay-dont-pause, Eli Zaretskii, 2024/12/01
- Re: Removing redisplay-dont-pause, Stefan Monnier, 2024/12/01
- Re: Removing redisplay-dont-pause, Gerd Möllmann, 2024/12/01
- Re: Removing redisplay-dont-pause, Stefan Monnier, 2024/12/02
- Re: Removing redisplay-dont-pause, Gerd Möllmann, 2024/12/02
- Re: Removing redisplay-dont-pause, Ihor Radchenko, 2024/12/14
Re: Removing redisplay-dont-pause, Gerd Möllmann, 2024/12/01