[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: |
Mon, 17 Mar 2025 14:22:36 +0200 |
> Date: Sun, 16 Mar 2025 22:16:41 +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 22:04, Eli Zaretskii wrote:
> >> 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.
>
> Okay, then maybe "Autotools Integration"? If we think it's the best that
> CEDET can help with these days.
For just EDE and Semantic? What do they have to do with Autotools?
(They do support autotools, but they also support a lot of other
tools.)
> Not sure if it's the best term, and whether we can include Semantic
> under that description.
>
> "Autotools Development"? "Development With Autotools"?
>
> Other descriptions I could think up start with the word "Legacy", and
> that's likely to be divisive.
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.
- Re: Semantic: update or remove?, (continued)
- 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, 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 <=
- 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
- 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