[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:27:25 +0300 |
> Date: Fri, 7 Oct 2022 13:12:03 +0300
> Cc: ams@gnu.org, emacs-devel@gnu.org
> From: Dmitry Gutov <dgutov@yandex.ru>
>
> On 07.10.2022 09:34, Eli Zaretskii wrote:
> > We can (and will) make it easier for
> > users to understand what its features do, by labeling the menus and
> > describing in the doc strings and help-echo strings what the commands
> > and variables really do and what effect they have on Emacs.
>
> Indeed we'll probably get the most bang for the buck by adding a menu
> entry or two which could say something like
>
> Language Servers -> Connect
> Language Servers -> Shutdown
>
> without renaming the package or its commands.
Yes, something like that.
Bonus points for adding some relatively-thin layer which would allow
Eglot to be just one "backend" for language servers' services, so that
users could use others. But that may be too much for Emacs 29.1.
> 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.
- Re: Renaming eglot -- or at least add an alias?, (continued)
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Po Lu, 2022/10/04
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/07
- 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 <=
- 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, 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