From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#58892: 29.0.50; [PATCH] eglot-manual: Open the local info documentation Date: Sun, 30 Oct 2022 08:42:32 -0400 Message-ID: References: <878rkxk7fu.fsf@betli.tmit.bme.hu> <83r0ypfwcq.fsf@gnu.org> Reply-To: Stefan Monnier Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="17756"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) Cc: Lars Ingebrigtsen , Felician Nemeth , 58892@debbugs.gnu.org To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sun Oct 30 13:43:12 2022 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1op7eh-0004PW-E4 for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 30 Oct 2022 13:43:11 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1op7ea-000701-Cl; Sun, 30 Oct 2022 08:43:04 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1op7eY-0006zu-OD for bug-gnu-emacs@gnu.org; Sun, 30 Oct 2022 08:43:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1op7eY-0002sS-Gv for bug-gnu-emacs@gnu.org; Sun, 30 Oct 2022 08:43:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1op7eY-0007mq-C9 for bug-gnu-emacs@gnu.org; Sun, 30 Oct 2022 08:43:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 30 Oct 2022 12:43:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58892 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch Original-Received: via spool by 58892-submit@debbugs.gnu.org id=B58892.166713376229900 (code B ref 58892); Sun, 30 Oct 2022 12:43:02 +0000 Original-Received: (at 58892) by debbugs.gnu.org; 30 Oct 2022 12:42:42 +0000 Original-Received: from localhost ([127.0.0.1]:37500 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1op7eD-0007mC-Ka for submit@debbugs.gnu.org; Sun, 30 Oct 2022 08:42:41 -0400 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:49333) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1op7eC-0007lz-Gl for 58892@debbugs.gnu.org; Sun, 30 Oct 2022 08:42:40 -0400 Original-Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 2D3C844089C; Sun, 30 Oct 2022 08:42:35 -0400 (EDT) Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id D0C4244059D; Sun, 30 Oct 2022 08:42:33 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1667133753; bh=xijw/NWB8j31s6OOgFKEjjVOwJcKn6oKNmkKaZ7zCFc=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=ByLNRZf1kc2SuPsRiz4yguHi5oAC6pXrWXafLCdbN9cT7M3Iw9FP5Bz6OwOm+NVsE iUxe30S2zLMz9ef8uslmX9Lt/JIyNzIVxnBwJrF7p+HkEOyixu9ABVKNodLwqEwCYM 0fGs/zd71zJi15jjjGSsx9pU7mnHhk5MMgmaJIDZ37buohZ862dVzWlNQIvFL/EP0F wwM/r8PmwUDrxt46ID+k2WhNoeRBg8Fd6Sqy3VJ/285LZUBa1+bZBlohF9RwyRqAuv 0ZK4w77Q6zEOOTKmTjmMNxeR3GerpmY76DKbD/KdG+mks06Gj5YhQwia7zaByB8odS D+mpLL5HrRevg== Original-Received: from pastel (65-110-220-202.cpe.pppoe.ca [65.110.220.202]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 91E11120F5E; Sun, 30 Oct 2022 08:42:33 -0400 (EDT) In-Reply-To: <83r0ypfwcq.fsf@gnu.org> (Eli Zaretskii's message of "Sun, 30 Oct 2022 12:18:29 +0200") X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: "bug-gnu-emacs" Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:246619 Archived-At: >> 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? 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. It could be a submenu generated by considering the list of all currently active minor modes (buffer-local and global) plus the current major mode (and its parents, maybe?) and for each one of them try and find out where they might be documented (e.g. relying on a symbol property to map a mode to its Info node?). Stefan