Right now reloading the window is required after changing settings. This is because accessing the settings object on every render would be computationally expensive. There might be an efficient way to do this though (if VS Code has an "onSettingsChange" event it would be trivial).
Right now reloading the window is required after changing settings. This is because accessing the settings object on every render would be computationally expensive. There might be an efficient way to do this though (if VS Code has an "onSettingsChange" event it would be trivial).