[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Renaming eglot -- or at least add an alias?
From: |
Tim Cross |
Subject: |
Re: Renaming eglot -- or at least add an alias? |
Date: |
Thu, 06 Oct 2022 12:18:14 +1100 |
User-agent: |
mu4e 1.9.0; emacs 29.0.50 |
Po Lu <luangruo@yahoo.com> writes:
> 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?
It has been some time since I last used semantic, but yes, I have read
the manual. What is your point?
- 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?, 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, 2022/10/05
- Re: Renaming eglot -- or at least add an alias?,
Tim Cross <=
- 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
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/07