I'd propose an enhancement - some way to not sync certain settings, but sync others.
My use case is, I have two machines with different display DPIs. The only reliable way I found to handle it with VSCode is manually configuring things window.zoomLevel setting. However, since the setting is saved, either UI becomes tiny on the HiDPI laptop, or a low-DPI desktop gets giant fonts and widgets.
Another use case would be filesystem paths, which may differ on different machines.
My general suggestion is to have a list of settings exempt from syncing, and when they're updated - always take values from local config.
I'd propose an enhancement - some way to not sync certain settings, but sync others.
My use case is, I have two machines with different display DPIs. The only reliable way I found to handle it with VSCode is manually configuring things
window.zoomLevelsetting. However, since the setting is saved, either UI becomes tiny on the HiDPI laptop, or a low-DPI desktop gets giant fonts and widgets.Another use case would be filesystem paths, which may differ on different machines.
My general suggestion is to have a list of settings exempt from syncing, and when they're updated - always take values from local config.