feature request
You should have the possibility to set the path in the plugins settings to your own language server version. Default should be the language server, which is delivered with the extension.
Maybe the user can also set an environment variable to the path of the language server in his operating system. If this is set, this can also be selected as default.
It is important that the extension handles the path differently in operating systems like linux or windows.
feature request You should have the possibility to set the path in the plugins settings to your own language server version. Default should be the language server, which is delivered with the extension.
Maybe the user can also set an environment variable to the path of the language server in his operating system. If this is set, this can also be selected as default.
It is important that the extension handles the path differently in operating systems like linux or windows.