[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Keep network security info buffers after use
From: |
Andreas Schwab |
Subject: |
Re: [PATCH] Keep network security info buffers after use |
Date: |
Wed, 20 Dec 2023 23:43:24 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
On Dez 19 2023, Eli Zaretskii wrote:
>> From: Karl Fogel <kfogel@red-bean.com>
>> Cc: emacs-devel@gnu.org
>> Date: Mon, 18 Dec 2023 18:00:59 -0600
>>
>> On 18 Dec 2023, Eli Zaretskii wrote:
>> >
>> >We don't advertise that key for a reason, so I don't think this
>> >is a good idea.
>>
>> Okay. I'm curious what that reason is, if you have time to
>> explain, but I'm fine accepting this decision as a given.
>
> The reason is simple: what you see is a side effect of how the user
> interaction was implemented in this case.
That is not true. read-multiple-choice documents that it uses the edit
binding from query-replace-map, thus it is not a side effect, but an
explicit choice.
> If we ever decide to change the details of the implementation, C-r
> will most probably stop working.
That would be a regression.
--
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1
"And now for something completely different."
- [PATCH] Keep network security info buffers after use, Karl Fogel, 2023/12/17
- Re: [PATCH] Keep network security info buffers after use, Eli Zaretskii, 2023/12/17
- Re: [PATCH] Keep network security info buffers after use, Karl Fogel, 2023/12/17
- Re: [PATCH] Keep network security info buffers after use, Eli Zaretskii, 2023/12/18
- Re: [PATCH] Keep network security info buffers after use, Karl Fogel, 2023/12/18
- Re: [PATCH] Keep network security info buffers after use, tomas, 2023/12/19
- Re: [PATCH] Keep network security info buffers after use, Eli Zaretskii, 2023/12/19
- Re: [PATCH] Keep network security info buffers after use, tomas, 2023/12/19
- Re: [PATCH] Keep network security info buffers after use, Eli Zaretskii, 2023/12/19
- Re: [PATCH] Keep network security info buffers after use,
Andreas Schwab <=
- Re: [PATCH] Keep network security info buffers after use, Eli Zaretskii, 2023/12/21
- Re: [PATCH] Keep network security info buffers after use, Andreas Schwab, 2023/12/17
- Re: [PATCH] Keep network security info buffers after use, Richard Stallman, 2023/12/18
- Re: [PATCH] Keep network security info buffers after use, Karl Fogel, 2023/12/19
- Re: [PATCH] Keep network security info buffers after use, Eli Zaretskii, 2023/12/19
- Re: [PATCH] Keep network security info buffers after use, tomas, 2023/12/19
- Re: [PATCH] Keep network security info buffers after use, Karl Fogel, 2023/12/19
- Re: [PATCH] Keep network security info buffers after use, Eli Zaretskii, 2023/12/19
- Re: [PATCH] Keep network security info buffers after use, Karl Fogel, 2023/12/19
- Re: [PATCH] Keep network security info buffers after use, Jens Schmidt, 2023/12/20