should not put any other user settings to workspace settings

[ngmariusz]

expected

  "workbench.colorCustomizations": {
    "activityBar.background": "#13332E",
    "titleBar.activeBackground": "#19423B",
    "titleBar.activeForeground": "#F6FBFB"
  }

current

"workbench.colorCustomizations": {
       "my": "..",
       "all": "..",
       "other": "..",
       "customisations": "..",
       "from": "..",
       "settings/user": "..",
    "activityBar.background": "#13332E",
    "titleBar.activeBackground": "#19423B",
    "titleBar.activeForeground": "#F6FBFB"
  }

[trusktr]

I'd never used workbench settings before, so I had no idea why even after uninstalling the plugin the colors were staying on my project windows.

Finally decided to head over to the repo, and stumbled here!

Not sure much can be done, looks like workbench settings are the only way to store per-project settings.

Can a plugin remove settings from all known projects during uninstall? Maybe that'd be a helpful solution.

Or maybe even better, the settings should be plugin-specific, and should have no effect if the plugin is not installed.