Adding a "profileSwitcher.storage" or "profileSwitcher.extensions" block to the workspace json file will update the main settings.json when switching to that profile. I would expect profileSwitcher settings set within in a workspace to only update the workspace json, not the main settings.json.
Doing so would allow someone to have multiple workspaces open in different windows with different profiles / themes / settings set for each window. Since this extension always edits the settings.json, it updates all open windows.
Adding a "profileSwitcher.storage" or "profileSwitcher.extensions" block to the workspace json file will update the main settings.json when switching to that profile. I would expect profileSwitcher settings set within in a workspace to only update the workspace json, not the main settings.json.
Doing so would allow someone to have multiple workspaces open in different windows with different profiles / themes / settings set for each window. Since this extension always edits the settings.json, it updates all open windows.