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

Previous Next

Full log

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

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

>> 2. Add handling of 'help-char' to 'read-char-from-minibuffer',
>>    and leave 'read-char-choice' unchanged, then replace all calls
>>    of 'read-char-choice' with 'read-char-from-minibuffer' calls
>>    in the Emacs source tree.
>
> I'd go for 2, I think.  These functions are so similar in what they
> offer that it doesn't make much sense in having both.

So I pushed 2 to master.  Please check if everything is alright.
Hope this will make Drew happy.

Previous Next

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