[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Renaming eglot -- or at least add an alias?
From: |
Po Lu |
Subject: |
Re: Renaming eglot -- or at least add an alias? |
Date: |
Thu, 06 Oct 2022 08:38:14 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.91 (gnu/linux) |
Tim Cross <theophilusx@gmail.com> writes:
> Is there overlap between semantic and eglot? Well, yes in the sense that
> languages wupported by semantic have language servers.
>
> When there is overlap, is it the same functionality? No, not
> necessarily.
Before saying this, did you actually read through the Semantic manual?
- Re: Renaming eglot -- or at least add an alias?, (continued)
- 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, 2022/10/04
- 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 <=
- 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
- Re: Renaming eglot -- or at least add an alias?, Po Lu, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, chad, 2022/10/09
- 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?, Eli Zaretskii, 2022/10/06