[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Renaming eglot -- or at least add an alias?
From: |
Eli Zaretskii |
Subject: |
Re: Renaming eglot -- or at least add an alias? |
Date: |
Fri, 07 Oct 2022 14:48:08 +0300 |
> Date: Fri, 7 Oct 2022 14:38:34 +0300
> Cc: rms@gnu.org, ams@gnu.org, emacs-devel@gnu.org
> From: Dmitry Gutov <dgutov@yandex.ru>
>
> >> We could put them alongside EDE's and Semantic's menu entries. Or maybe
> >> instead, given that EDE is not the recommended choice for "Project
> >> Support" anymore, and we don't usually recommend Semantic to new users
> >> either.
> >
> > Or we could make the EDE/Semantic menus have a sub-menu, whereby the
> > user could select which kind of "support" they want.
>
> That depends on whether we want the menus to present an "intro" to Emacs
> functionality that doesn't require much reading to pick the right choice.
>
> IMHO that can be the best goal for the menu bar. But you might have a
> different understanding of its role.
Something to revisit at a later date, I think. Too many things are
still in flux: Eglot, tree-sitter... The functionalities overlap, and
at least I personally don't yet have a clear idea of how to make the
best "mix".
- Re: Renaming eglot -- or at least add an alias?, (continued)
- Re: Renaming eglot -- or at least add an alias?, Alfred M. Szmidt, 2022/10/05
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/06
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?,
Eli Zaretskii <=
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Emanuel Berg, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, tomas, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, tomas, 2022/10/08
- RE: [External] : Re: Renaming eglot -- or at least add an alias?, Drew Adams, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Alexander Adolf, 2022/10/08