GNU bug report logs - #42708
Let users copy "*Char Help*" buffer

Previous Next

Full log

Message #57 received at 42708 <at> debbugs.gnu.org (full text, mbox):

From: Juri Linkov <juri <at> linkov.net>
To: Drew Adams <drew.adams <at> oracle.com>
Cc: Lars Ingebrigtsen <larsi <at> gnus.org>,
 積丹尼 Dan Jacobson <jidanni <at> jidanni.org>,
 42708 <at> debbugs.gnu.org, rms <at> gnu.org
Subject: Re: bug#42708: Let users copy "*Char Help*" buffer
Date: Wed, 11 Nov 2020 22:07:27 +0200

> 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'.

> 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.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.