Would it be possible to have the option to save the settings to remote server settings instead of your personal settings, e.g., here: ~/.vscode-server/data/Machine/settings.json?
My remote server settings are not synced with Settings Sync, but my personal settings are, resulting in writes and synchronization every time a window is active/inactive.
Would it be possible to have the option to save the settings to remote server settings instead of your personal settings, e.g., here:
~/.vscode-server/data/Machine/settings.json?My remote server settings are not synced with Settings Sync, but my personal settings are, resulting in writes and synchronization every time a window is active/inactive.