Gitpod: Theme

[shannonhorn]

Hi, how can I install a different syntax color theme? Thx.

[svenefftinge]

We currently only have two themes: light and dark.
You can switch between them by pressing F1 and then choose
Settings: Change Color Theme

[jankeromnes]

Hi @shannonhorn, which additional syntax coloring would you like to add?

Note that you'll soon be able to install any VS Code extension in Gitpod, and thus add support for almost any desired programming language syntax.

[shannonhorn]

Adding any extension would really be nice. I don't have a theme in mind, just looking to spice things up. I am using Nord theme in VS code locally right now. Thx.

[felixfbecker]

It seems like there is now support for extensions, but I still cannot switch the theme after installing one

[JesterOrNot]

@felixfbecker themes aren't working yet see:
https://github.com/eclipse-theia/theia/issues/6300
https://github.com/gitpod-io/gitpod/issues/818

[jankeromnes]

Update: Theme support has now landed in Theia: https://github.com/eclipse-theia/theia/pull/6475

Next we need to update Theia in Gitpod, and deploy Gitpod to production. ETA: early January. 🤞

[akosyakov]

@svenefftinge Should we include all built-in Themes from VS Code by default? as far as I understood @shannonhorn use for example Nord. Otherwise users have to download them from https://github.com/theia-ide/vscode-builtin-extensions/releases/tag/v1.39.1-prel and upload to Gitpod.

[akosyakov]

Discussed with @svenefftinge that we include all VS Code built-in themes as built-in as well. We also will allow installing VS Code extensions per a user that one can install a theme once for all workspaces.

[svenefftinge]

deployed