search

pappasam / jedi-language-server

A Python language server exclusively for Jedi. If Jedi supports it well, this language server should too.
MIT License
574 stars 44 forks source link

pygls 1.1 #285

Closed dimbleby closed 9 months ago

dimbleby commented 9 months ago

pygls 1.1 isn't breaking, jedi-language-server works fine with it already, so there's no need to do anything with this is in any sort of hurry.

however there are a couple of deprecations and typing changes.

re the new # type: ignore - hopefully https://github.com/openlawlibrary/pygls/pull/393 will make this go away in due course

pappasam commented 9 months ago

Thanks for the fixes! I'll merge now so we can build on this, but as you said, there appears to be no rush to create a new release