GNU bug report logs - #63469
29.0.90; project.el doesn't add menu-bar entries

Previous Next

Full log

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

From: Eli Zaretskii <eliz <at> gnu.org>
To: Dmitry Gutov <dmitry <at> gutov.dev>
Cc: sbaugh <at> janestreet.com, 63469 <at> debbugs.gnu.org
Subject: Re: bug#63469: 29.0.90; project.el doesn't add menu-bar entries
Date: Thu, 18 May 2023 10:01:23 +0300

> Date: Thu, 18 May 2023 09:53:52 +0300
> Cc: 63469 <at> debbugs.gnu.org
> From: Dmitry Gutov <dmitry <at> gutov.dev>
> 
> On 17/05/2023 14:30, Eli Zaretskii wrote:
> >> From: Spencer Baugh<sbaugh <at> janestreet.com>
> >> Cc:63469 <at> 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.

Why? what's wrong with having both?

these menu items aren't visible unless someone actually drops down
their parent menu.  So they don't seem to be able to cause any
excessive display clutter.

The advantage of having both is that these items will be more
discoverable, and support both discovery through the related
functionality and through Package itself.

Previous Next

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