Gitpod: Gitpod.yml theming section does not support the themes from the extensions and it breaks them.

[studentIvan]

Describe the bug

Gitpod.yml theming section does not support the themes from the extensions and it breaks them.

Steps to reproduce

1. install theme Dracula official [email protected]:YGBEpb4XH7h9BBDzol1CBw==
2. check the color theme settings - you will see the Dracula theme is available
3. write to the .gitpod.yml file:
   > yaml > theming: > - editor-theme: Dracula >
4. check color theme settings - you will not see the Dracula theme is available

Expected behavior

1. vscode color theme sets to Dracula
2. at least Dracula theme still available to use

[JesterOrNot]

AFAIK there is no theming property
CC @jankeromnes

[akosyakov]

Current theme should be configured in user preferences.

[svenefftinge]

Theming is considered a user-specific setting. So you should install the extension in the user's extension space:

and then you need to activate using the Preferences: Color Theme command.

[svenefftinge]

We should add that info to the documentation.