GNU bug report logs - #77118
31.0.50; help-key-binding face in help buffer

Previous Next

Full log

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

From: Stefan Kangas <stefankangas <at> gmail.com>
To: Eli Zaretskii <eliz <at> gnu.org>, Arash Esbati <arash <at> gnu.org>, 
 Stefan Monnier <monnier <at> iro.umontreal.ca>
Cc: 77118 <at> debbugs.gnu.org
Subject: Re: bug#77118: 31.0.50; help-key-binding face in help buffer
Date: Wed, 19 Mar 2025 14:47:53 -0700

Stefan Kangas <stefankangas <at> gmail.com> writes:

> There is no deep reason.  We want to stay in the buffer that we invoked
> help from, to get the keybindings from the right keymaps, but we also
> want to insert the documentation in the *Help* buffer.  Setting
> `standard-output` to the *Help* buffer and using `princ` is just a
> convenient way to do that.
>
> The fix is to switch things around so we can use `insert` instead.
> We have done that elsewhere in help, and should do the same in
> `read-char-choice` also.
>
> Another option is to introduce a version of `princ` that preserves
> string properties.
  ^^^^^^ text properties, of course

Previous Next

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