Add API to get language server from external extensions - #14021

Merged

Rich Chiodo (rchiodo) merged 9 commits into

mainfrom

rchiodo/langserv_api

Sep 22, 2020

Commits on Sep 18, 2020

Ideas for lang server API with python extension
Rich Chiodo (rchiodo)
committed
fb50724

Commits on Sep 21, 2020

Commits on Sep 22, 2020

Code review feedback
Rich Chiodo (rchiodo)
committed
1633264
Move connection type to types file
Rich Chiodo (rchiodo)
committed
3103ee9