search

dhall-lang / vscode-dhall-lsp-server

VSCode pluging that provides LSP support for the Dhall programming language
MIT License
17 stars 8 forks source link

Reload extension if settings change #1

Closed PanAeon closed 5 years ago

EggBaconAndSpam commented 5 years ago

I think it would be better to handle settings on the server side, thus minimising the amount of VSCode specific client-side logic. See didChangeConfiguration.

EggBaconAndSpam commented 5 years ago

I think it would be better to handle settings on the server side, thus minimising the amount of VSCode specific client-side logic. See didChangeConfiguration.

I'm adding functionality along those lines to the server now. I don't think this issue is still relevant.