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

Previous Next

Full log

View this message in rfc822 format

From: Felician Nemeth <felician.nemeth <at> gmail.com>
To: 58892 <at> debbugs.gnu.org
Subject: bug#58892: 29.0.50; [PATCH] eglot-manual: Open the local info documentation
Date: Sun, 30 Oct 2022 10:05:25 +0100

[Message part 1 (text/plain, inline)]

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?

Thanks.

[0001-eglot-manual-Open-the-local-info-documentation.patch (text/x-diff, attachment)]

Previous Next

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