Switch workbench preferred color themes to Gitpod Light/Dark

[Shulammite-Aso]

This PR fixes gitpod-io/gitpod#6403

[Shulammite-Aso]

Hi @gtsiolis @akosyakov @jeanp413 please have a look

[jeanp413]

@Shulammite-Aso you should also set "window.autoDetectColorScheme": true so that workbench.preferredLightColorTheme and workbench.preferredDarkColorTheme take effect.

[Shulammite-Aso]

@Shulammite-Aso you should also set "window.autoDetectColorScheme": true so that workbench.preferredLightColorTheme and workbench.preferredDarkColorTheme take effect.

Okay, i guess on the same block right?

[Shulammite-Aso]

Just made the update @jeanp413

[akosyakov]

@jeanp413 I don't think we need to change window.autoDetectColorScheme. It is more like if a user enables it then it should use gitpod themes by default, but we should restrain from changing defaults otherwise.

[jeanp413]

@akosyakov Good point, but right now we don't sync user theme set in the dashboard to the editor so it will keep using the Light theme regardless of what the user sets in his settings. There's this issue gitpod-io/gitpod#3982 but got closed because it was stale

[akosyakov]

@jeanp413 It was discussed internally that we don't do synching between dashboard and editor: https://gitpod.slack.com/archives/C01KGM9BH54/p1635256498135500?thread_ts=1635187855.111600&cid=C01KGM9BH54

[jeanp413]

@Shulammite-Aso I will revert the last commit, rebase and then merge. Thanks