[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Removing redisplay-dont-pause
From: |
Gerd Möllmann |
Subject: |
Re: Removing redisplay-dont-pause |
Date: |
Sun, 15 Dec 2024 03:46:13 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Stefan Kangas <stefankangas@gmail.com> writes:
> Eli Zaretskii <eliz@gnu.org> writes:
>
>> So what do people think about removing this variable (and the code
>> supporting it) from Emacs? In particular, does anyone use that
>> variable in a non-default nil value?
>
> It seems like there are no objections to removing redisplay-dont-pause.
>
> Should we go ahead with this change now?
To get something to master immediately or in the near future is a bit
difficult. Let me explain.
The necessary changes are in scratch/tty-child-frames and could be
resurrected by reverting these commits
e7359fbbc40 Revert "Don't pause display for pending input"
e5a2bc740dc Revert "Remove an unused parameter"
I reverted then because Eli complained that a feature branch should
contain only one feature and he wanted a discussion about the removal in
the first place.
The code in the branch that is affected by the removal of r-d-p is
different enough from master that removing r-d-p effectively means
implementing it again. And as a bonus that would lead to merge conflicts
in my Emacs, from where the changes originate, and where they are of
course not reverted. So that's no good.
- Re: Removing redisplay-dont-pause, (continued)
- 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, Stefan Kangas, 2024/12/08
Re: Removing redisplay-dont-pause, Stefan Kangas, 2024/12/14
- Re: Removing redisplay-dont-pause,
Gerd Möllmann <=
- 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