Closed Blond11516 closed 11 months ago
Adds a command to restart the language server without reloading vscode as a whole.
Also adds basic infrastructure to easily add other commands in the future.
Fixes #3
Adds a command to restart the language server without reloading vscode as a whole.
Also adds basic infrastructure to easily add other commands in the future.
Fixes #3