dhall-lang/vscode-dhall-lsp-server

Reload extension if settings change

PanAeon opened this issue · 2 comments

Reload extension if settings change

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 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.