Dafny-VSCode icon indicating copy to clipboard operation
Dafny-VSCode copied to clipboard

Published 20 hours ago • verified publisher icon DafnyVSCode

Configuration hot-reloading does not work

Open fabianhauser opened this issue 6 years ago • 0 comments

If a user changes the settings, the server should be reloaded with the new settings. Currently, this is not the case (see server.ts).

fabianhauser avatar Feb 19 '19 13:02 fabianhauser