GNU bug report logs - #58892
29.0.50; [PATCH] eglot-manual: Open the local info documentation

Previous Next

Full log

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

From: Eli Zaretskii <eliz <at> gnu.org>
To: Stefan Monnier <monnier <at> iro.umontreal.ca>
Cc: larsi <at> gnus.org, felician.nemeth <at> gmail.com, 58892 <at> debbugs.gnu.org
Subject: Re: bug#58892: 29.0.50; [PATCH] eglot-manual: Open the local info
 documentation
Date: Sun, 30 Oct 2022 14:53:07 +0200

> From: Stefan Monnier <monnier <at> iro.umontreal.ca>
> Cc: Felician Nemeth <felician.nemeth <at> gmail.com>,  Lars Ingebrigtsen
>  <larsi <at> gnus.org>,  58892 <at> debbugs.gnu.org
> Date: Sun, 30 Oct 2022 08:42:32 -0400
> 
> I don't think it makes much sense to add this specifically for
> Eglot, indeed.  It might make sense OTOH to add to the Help menu an
> entry that lets you jump directly to the docs relevant to the current
> modes.

Sure, I'm okay with providing a general feature like that.  Sounds
useful.  It could also be a variant of "C-h m", perhaps when that is
invoked with a prefix argument (so that the feature could be reachable
without a mouse).

Previous Next

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