Reload extension if settings change
PanAeon opened this issue · 2 comments
PanAeon commented
Reload extension if settings change
EggBaconAndSpam commented
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
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.