|
From: | Dmitry Gutov |
Subject: | bug#63469: 29.0.90; project.el doesn't add menu-bar entries |
Date: | Thu, 18 May 2023 09:53:52 +0300 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.11.0 |
On 17/05/2023 14:30, Eli Zaretskii wrote:
From: Spencer Baugh<sbaugh@janestreet.com> Cc:63469@debbugs.gnu.org Date: Tue, 16 May 2023 13:09:56 -0400 Also with the bug number in the commit message.Thanks. This LGTM, but what about Juri's suggestion to have a separate Project menu under Tools, with all these as its items?
I think there should be either one or another. Or there will be too much of them.
[Prev in Thread] | Current Thread | [Next in Thread] |