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

Previous Next

Full log

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

From: Eli Zaretskii <eliz <at> gnu.org>
To: Felician Nemeth <felician.nemeth <at> gmail.com>,
 Lars Ingebrigtsen <larsi <at> gnus.org>,
 Stefan Monnier <monnier <at> iro.umontreal.ca>
Cc: 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 12:18:29 +0200

> From: Felician Nemeth <felician.nemeth <at> gmail.com>
> Date: Sun, 30 Oct 2022 10:05:25 +0100
> 
> Eglot now has a beautiful documentation in info format.  This patch
> let the user open it from Eglot's menu.
> 
> BTW, the menu is the mode-line and I think it cannot be accessed using
> only the keyboard.  Would it make sense to put this menu in the "Tools"
> part of the menu-bar as well?

I'm unsure about any of this.  We don't do anything like that for any
other mode, AFAIR.  And Eglot's main features are already mentioned in
short in the Emacs user manual.

What do others think?  Lars, Stefan?

Previous Next

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