bug#46243: [External] : Re: bug#46243: 26.3; If invoke menu item that reads a char, get keystrokes echo

[Eli Zaretskii]

> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: drew.adams@oracle.com,  46243@debbugs.gnu.org
> Date: Thu, 04 Feb 2021 11:50:14 -0500
> 
> > So I propose the much simpler patch below.  It may look like a kludgey
> > band-aid at first sight, but OTOH consider this:
> 
> Looks OK to me.  It's fairly unusual to want echo-keystrokes working
> when there's a prompt in any case.  The only case I can think of right
> now is for `C-h k` and `C-h c` (but these use `read-key-sequence` so
> I think they won't be affected).

Thanks.  I verified that "C-h k" works, including when invoked via the
menus, and installed this on the master branch.  With that, I'm
closing this bug.