8 months ago • •
Can't wait to release this new thing 😍
#gameeky #education #gnome
@janvhs , @capypara and I just landed Python Language Server in Workbench in case that's helpful.
Auto formatting and inline diagnostics are super helpful for beginners
• github.com/workbenchdev/Workbe…• github.com/workbenchdev/Workbe…
We use python-lsp + ruff
Integrating the LSP server with GtkSourceView is quite easy, let me know if I can help.
This PR, lays the foundation to introduce an LSP for the python language. Pylsp is packaged as a flatpak module and included in the build tree for the Devel version of Workbench. Currently, pylsp r...
@sonny @janvhs @capypara
Thanks Sonny! I will check it out :)
Sonny
in reply to Martín Abente Lahaye • • •@janvhs , @capypara and I just landed Python Language Server in Workbench in case that's helpful.
Auto formatting and inline diagnostics are super helpful for beginners
• github.com/workbenchdev/Workbe…
• github.com/workbenchdev/Workbe…
We use python-lsp + ruff
Integrating the LSP server with GtkSourceView is quite easy, let me know if I can help.
Add pylsp as the python LSP by janvhs · Pull Request #857 · workbenchdev/Workbench
GitHubMartín Abente Lahaye
in reply to Sonny • • •@sonny @janvhs @capypara
Thanks Sonny! I will check it out :)