[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Semantic: update or remove?
From: |
Eli Zaretskii |
Subject: |
Re: Semantic: update or remove? |
Date: |
Sun, 16 Mar 2025 22:04:03 +0200 |
> Date: Sun, 16 Mar 2025 21:56:05 +0200
> Cc: cpardo@imayhem.com, stefankangas@gmail.com, dancol@dancol.org,
> emacs-devel@gnu.org
> From: Dmitry Gutov <dmitry@gutov.dev>
>
> On 16/03/2025 07:58, Eli Zaretskii wrote:
>
> >> Thank you, the order is an improvement.
> >>
> >> They're still in the same place together, though.
> >
> > That's on purpose: they are related functionalities, and "Tools" is a
> > very large menu. So grouping by functionality is needed to make the
> > long list somewhat easier to navigate.
> >
> > If someone wants to work on rearranging "Tools" into more groups (thus
> > making the menu 3-level instead of 2-level), please feel free, but be
> > prepared for a very long byke-shedding, as usual with menu-bar
> > changes. OTOH, since so many Emacs users nowadays disable the menu
> > bar up front, maybe all this effort is mostly futile.
>
> Here's what seems like the minimal step: both menu items go into a
> "CEDET" submenu, which stays near the same location. If we can agree to
> move it lower maybe, that would be even better, but less essential.
Thanks, but the name CEDET won't fly: it doesn't explain itself well
enough. We need something more self-explanatory.
- Re: Semantic: update or remove?, (continued)
- Re: Semantic: update or remove?, Eli Zaretskii, 2025/03/12
- Re: Semantic: update or remove?, Dmitry Gutov, 2025/03/12
- Re: Semantic: update or remove?, Stefan Kangas, 2025/03/14
- Re: Semantic: update or remove?, Dmitry Gutov, 2025/03/14
- Re: Semantic: update or remove?, Cecilio Pardo, 2025/03/15
- Re: Semantic: update or remove?, Dmitry Gutov, 2025/03/15
- Re: Semantic: update or remove?, Eli Zaretskii, 2025/03/15
- Re: Semantic: update or remove?, Dmitry Gutov, 2025/03/15
- Re: Semantic: update or remove?, Eli Zaretskii, 2025/03/16
- Re: Semantic: update or remove?, Dmitry Gutov, 2025/03/16
- Re: Semantic: update or remove?,
Eli Zaretskii <=
- Re: Semantic: update or remove?, Eli Zaretskii, 2025/03/16
- Re: Semantic: update or remove?, Dmitry Gutov, 2025/03/16
- Re: Semantic: update or remove?, Eli Zaretskii, 2025/03/17
- Re: Semantic: update or remove?, Dmitry Gutov, 2025/03/17
- Re: Semantic: update or remove?, Eli Zaretskii, 2025/03/17
- Re: Semantic: update or remove?, Dmitry Gutov, 2025/03/17
- Re: Semantic: update or remove?, Eli Zaretskii, 2025/03/17
- Re: Semantic: update or remove?, Alfred M. Szmidt, 2025/03/17
- Improving the Tools menu, Stefan Kangas, 2025/03/15
- Re: Improving the Tools menu, Eli Zaretskii, 2025/03/16