[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 17:57:39 +0200 |
> From: Gerd Möllmann <gerd.moellmann@gmail.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, emacs-devel@gnu.org,
> monnier@iro.umontreal.ca
> Date: Sun, 01 Dec 2024 16:28:42 +0100
>
> Mattias Engdegård <mattias.engdegard@gmail.com> writes:
>
> > 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?
>
> Maybe it's worth mentioning that a part of the story of slow terminals,
> a display optimization, was already removed in 25, I think:
> direct_output_for_insert in dispnew.c. That tried to optimize the case
> of single-char input, without being interrupted by pending input.
It was actually removed in Emacs 24, as part of support for bidi
reordering (which is incompatible with it).
- Re: Removing redisplay-dont-pause, (continued)
- 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
- Re: Removing redisplay-dont-pause,
Eli Zaretskii <=
Re: Removing redisplay-dont-pause, Stefan Kangas, 2024/12/08
Re: Removing redisplay-dont-pause, Stefan Kangas, 2024/12/14
- Re: Removing redisplay-dont-pause, Gerd Möllmann, 2024/12/14
- Re: Removing redisplay-dont-pause, Eli Zaretskii, 2024/12/15
- Re: Removing redisplay-dont-pause, Gerd Möllmann, 2024/12/19
- Re: Removing redisplay-dont-pause, Vincenzo Pupillo, 2024/12/19
- Re: Removing redisplay-dont-pause, Gerd Möllmann, 2024/12/19
- Re: Removing redisplay-dont-pause, Vincenzo Pupillo, 2024/12/19
Re: Removing redisplay-dont-pause, Eli Zaretskii, 2024/12/15