[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Renaming eglot -- or at least add an alias?
From: |
Richard Stallman |
Subject: |
Re: Renaming eglot -- or at least add an alias? |
Date: |
Sat, 08 Oct 2022 18:34:03 -0400 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> Yes, so take python-mode as an example. It has both tree-sitter
> support and Eglot support. How to use both? does it even make sense?
Do they do the same jobs? Are they intersubstitutable, in principle?
If so, the question is, are they compatible in user interface?
If they are intersubstitutable, in principle, maybe they ought to have
the same user interface so that most users would not notice or care
which one is doing the job.
--
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
- Re: Renaming eglot -- or at least add an alias?, (continued)
- 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
- Re: Renaming eglot -- or at least add an alias?, Stefan Monnier, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/11
- Re: Renaming eglot -- or at least add an alias?, Stefan Monnier, 2022/10/11
- Re: Renaming eglot -- or at least add an alias?, Alexander Adolf, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?,
Richard Stallman <=
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Theodor Thornhill, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/10
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Felician Nemeth, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Felician Nemeth, 2022/10/09