It was mentioned here that there could soon an API that will support alternate language servers.
I would be super excited about integrating my language server into the python extension and am happy to help as much as I can. The only alternative I can imagine without this API is modifying user settings with the configuration api (setting python.languageServer to None) before spinning up our own extension.
I'm starting this thread since I don't already see any public discussion about this but please let me know if I'm duplicating anything.
It was mentioned here that there could soon an API that will support alternate language servers.
I would be super excited about integrating my language server into the python extension and am happy to help as much as I can. The only alternative I can imagine without this API is modifying user settings with the configuration api (setting
python.languageServertoNone) before spinning up our own extension.I'm starting this thread since I don't already see any public discussion about this but please let me know if I'm duplicating anything.