You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
leobm
changed the title
Feature to set own path to language server in den system
TODO: Possibility to set your own path to the janet language server in the system
Oct 19, 2023
leobm
changed the title
TODO: Possibility to set your own path to the janet language server in the system
TODO: Add support to set your own path to the janet language server in the system
Oct 19, 2023
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.
The text was updated successfully, but these errors were encountered: