[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#42708: Let users copy "*Char Help*" buffer
From: |
Juri Linkov |
Subject: |
bug#42708: Let users copy "*Char Help*" buffer |
Date: |
Thu, 12 Nov 2020 09:32:12 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (x86_64-pc-linux-gnu) |
>> > I also wouldn't be happy about wholesale replacement of uses
>> > of `read-char-choice' by `read-char-from-minibuffer'.
>> > Maybe it makes sense to replace some such occurrences, but
>> > it would be good to see some justification case by case.
>>
>> Actually, only one occurrence of `read-char-choice'
>> was replaced by `read-char-from-minibuffer'.
>
> Good.
>
> Could we please know which occurrence you changed,
> and what the justification is?
The changed occurrence is 'dired-query',
and the justification is to fix the bug report #42708.
Also I checked other 4 occurrences of `read-char-choice' in
auth-source.el, emacs-lisp/package.el, net/tramp-cmds.el
and progmodes/octave.el. But apparently they use more complex
logic, so replacing them with `read-char-from-minibuffer'
is not a straightforward task.
>> > But if `read-char-choice' can itself remain in the
>> > `read-char', `read-event', `read-key', etc. camp, then at
>> > least that will be good, IMO. Thx.
>>
>> Yes, `read-char-choice' remains in that camp unchanged.
>
> Good. Thanks for that.
- bug#42708: Let users copy "*Char Help*" buffer, Juri Linkov, 2020/11/03
- bug#42708: Let users copy "*Char Help*" buffer, Lars Ingebrigtsen, 2020/11/09
- bug#42708: Let users copy "*Char Help*" buffer, Juri Linkov, 2020/11/10
- bug#42708: Let users copy "*Char Help*" buffer, Drew Adams, 2020/11/10
- bug#42708: Let users copy "*Char Help*" buffer, Richard Stallman, 2020/11/11
- bug#42708: Let users copy "*Char Help*" buffer, Juri Linkov, 2020/11/11
- bug#42708: Let users copy "*Char Help*" buffer, Drew Adams, 2020/11/11
- bug#42708: Let users copy "*Char Help*" buffer, Juri Linkov, 2020/11/11
- bug#42708: Let users copy "*Char Help*" buffer, Drew Adams, 2020/11/11
- bug#42708: Let users copy "*Char Help*" buffer,
Juri Linkov <=
- bug#42708: Let users copy "*Char Help*" buffer, Drew Adams, 2020/11/12
- bug#42708: Let users copy "*Char Help*" buffer, Lars Ingebrigtsen, 2020/11/11
- bug#42708: Let users copy "*Char Help*" buffer, Juri Linkov, 2020/11/11