search

m-fleury / isabelle-emacs

Clone of isabelle, with LSP extensions in seperate branches
Other
25 stars 5 forks source link

Using eglot instead of lsp #61

Closed m-fleury closed 2 years ago

m-fleury commented 2 years ago

We currently are using the lsp-mode package. The alternative is eglot and that one will be part of Emacs-29.

Changing is not straightforward (because the communication relies on extension). The code is mostly independent of the package (except for sending messages like in the cursor).

It is not clear that eglot is better in any way and I don't really have time to work on it, Patches are welcome however.

m-fleury commented 2 years ago

For documentation only: there is a third lsp client for emacs, LSP-bridge. The project is supposedly the fastest LSP client. However, this is done by not supporting some features, including syntax highlighting. Given that Isabelle uses an extension of the protocol, it does not matter, but I am not convinced that there are benefits in trying to use it over emacs-lsp.

But: patches to change my mind are always welcome!