You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
So there is overrideWorkspaceSettings to ensure settings are switched even when the workspace defines them.
Most cases I prefer to edit ONLY workspace settings instead of user ones, so I would love a new flag like setWorkspaceSettings to only edit the toggled setting for the workspace.
This way the user global config remains unchanged and only the workspace reflects toggled changes. Less diff for the settings sync when I only want to locally switch a setting (commonly temporally).
The extension basically already knows how to do it, but right now when overrideWorkspaceSettings is set it only writes to the local workspace settings when the settings key already exists. For this feature we would simply need it to emplace it anyway.
Regards!
The text was updated successfully, but these errors were encountered:
Hey! Thanks for the nice extensions :)
So there is
overrideWorkspaceSettings
to ensure settings are switched even when the workspace defines them.Most cases I prefer to edit ONLY workspace settings instead of user ones, so I would love a new flag like
setWorkspaceSettings
to only edit the toggled setting for the workspace.This way the user global config remains unchanged and only the workspace reflects toggled changes. Less diff for the settings sync when I only want to locally switch a setting (commonly temporally).
The extension basically already knows how to do it, but right now when
overrideWorkspaceSettings
is set it only writes to the local workspace settings when the settings key already exists. For this feature we would simply need it to emplace it anyway.Regards!
The text was updated successfully, but these errors were encountered: