[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Renaming eglot -- or at least add an alias?
From: |
Stephen Leake |
Subject: |
Re: Renaming eglot -- or at least add an alias? |
Date: |
Wed, 12 Oct 2022 17:26:22 -0700 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (windows-nt) |
Yuan Fu <casouri@gmail.com> writes:
> Thanks for you input. I don’t think eglot (and LSP the protocol)
> handles font-lock and indent,
The LSP protocol supports font-lock via SemanticTokens. This is
relatively new, and the released elgot doesn't support it yet.
LSP supports indent via DocumentFormatting. Eglot supports this via
eglot-format.
I don't know how many language servers support DocumentFormatting;
ada_language_server only supports formatting the whole document, not
just a region, so it is not useful for Emacs indent. ada_language_server
also has poor error recovery, and refuses to format even when it can
recover from a syntax error, making it even less useful.
--
-- Stephe
- Re: Renaming eglot -- or at least add an alias?, (continued)
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/11
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Yuan Fu, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Yuan Fu, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?,
Stephen Leake <=
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Yuan Fu, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Yuan Fu, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, João Távora, 2022/10/14
- Re: Renaming eglot -- or at least add an alias?, Stephen Leake, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Stephen Leake, 2022/10/13
- Re: Renaming eglot -- or at least add an alias?, Michael Albinus, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/10
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/11