[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: |
Tue, 04 Oct 2022 21:12:08 +0300 |
> From: Richard Stallman <rms@gnu.org>
> Cc: emacs-devel@gnu.org
> Date: Tue, 04 Oct 2022 13:39:27 -0400
>
> I think the clearest name for Eglot is Parse Code.
Eglot doesn't parse code. It is a client of a protocol designed to
allow applications to send requests about source code and receive
results. The server which responds to the requests does parse the
code, but Eglot doesn't.
> The main change is that Emacs should refer to the package and its
> functionality primarily as Parse Code in menus and documentation.
I think this will not be the best solution, because the features
enabled by Eglot use the results of parsing performed by an external
server, they don't perform any parsing.
But it's too early and premature to discuss what we will say in our
menus, because we have no idea what these menus will be and which
features they will activate. We should delay this discussion until
after the merge, at which point we will be able to talk about concrete
commands, variables, doc strings, and menu items.
- RE: [External] : Re: Renaming eglot -- or at least add an alias?, (continued)
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/01
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Po Lu, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/04
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/04
- Re: Renaming eglot -- or at least add an alias?,
Eli Zaretskii <=
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/05
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/05
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/05
- Re: Renaming eglot -- or at least add an alias?, Po Lu, 2022/10/05
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/05
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/06
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, chad, 2022/10/08