[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: |
Tue, 18 Mar 2025 05:31:17 +0200 |
> Date: Mon, 17 Mar 2025 23:57:06 +0200
> Cc: cpardo@imayhem.com, stefankangas@gmail.com, dancol@dancol.org,
> emacs-devel@gnu.org
> From: Dmitry Gutov <dmitry@gutov.dev>
>
> On 17/03/2025 16:44, Eli Zaretskii wrote:
> >> Date: Mon, 17 Mar 2025 14:58:56 +0200
> >> Cc:cpardo@imayhem.com,stefankangas@gmail.com,dancol@dancol.org,
> >> emacs-devel@gnu.org
> >> From: Dmitry Gutov<dmitry@gutov.dev>
> >>
> >>> I'd rather we had a sub-menu with all the project-managing tools, and
> >>> in that sub-menu move these two to the every end.
> >> Meaning the four items "Project", "Eglot, "EDE" and "Semantic" would
> >> still be in one place?
> > In the same sub-menu of the "Tools" menu, yes.
>
> In this case I'm not sure how this will be an improvement.
For starters, it will make the main menu shorter.
> The confusion between "Project" and "Project (EDE)" would still be there
> - as well as smaller but still present confusion between Eglot and
> Semantic menu items.
I didn't say the labels must remain the same. We can change them, as
part of this larger restructuring.
My point is that doing just small changes of the order and labels
doesn't justify the usual fallout.
> It's worth doing if we can de-emphasize CEDET's menu items. Keeping them
> tightly bound to our recommended IDE-related features would seem to
> counteract that goal.
This aspect should wait until the current discussion is concluded.
- Re: Semantic: update or remove?, (continued)
- 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, 2025/03/16
- 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 <=
- 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
- Re: Improving the Tools menu, Dmitry Gutov, 2025/03/16
- Re: Improving the Tools menu, Eli Zaretskii, 2025/03/16
- Re: Improving the Tools menu, Dmitry Gutov, 2025/03/16
Re: Semantic: update or remove?, Richard Stallman, 2025/03/13
Re: Semantic: update or remove?, Lynn Winebarger, 2025/03/19