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

Previous Next

Full log

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

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Juri Linkov <juri <at> linkov.net>
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 11:28:08 +0100

Juri Linkov <juri <at> linkov.net> writes:

> 1. Declare 'read-char-choice' as an equivalent of 'read-char-from-minibuffer',
>    but with additional handling of 'help-char';
>
> 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.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

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