Gitpod: Save Color Theme as Light

Created on 12 Sep 2019 · 6Comments · Source: gitpod-io/gitpod

Describe the bug

Change Color Theme to Light does not save anywhere that can be checked into Git. So, Gitpod always reverts to the default dark theme.

To Reproduce

Open File -> Settings -> Change Color Theme
Select Light Theme
Stop and open a new Gitpod instance
Theme is dark again

Expected behavior

I would expect some way to set the default theme even when a new docker instance is started. I tried using the the Theia settings in package.json referenced by this PR, but it did not work.

https://github.com/eclipse-theia/theia/pull/2442

bug theia ux

Source

wadeziegler

👍2

Most helpful comment

or better yet something in the .gitpod.yml file
maybe a section for it

theming:
    - editor-theme: light

that way it also paves the way for future customization!

JesterOrNot on 13 Dec 2019

❤4

All 6 comments

Currently theme is preserver only for the same origin, for each new workspace the default (dark) theme is used. We can add a preference to allow a user configure the default them it in user settings. @svenefftinge sounds good? pleas open a feature request in Theia repo.

akosyakov on 13 Sep 2019

Hey have we considered localstorage for this?

JesterOrNot on 22 Nov 2019

or better yet something in the .gitpod.yml file
maybe a section for it

theming:
    - editor-theme: light

that way it also paves the way for future customization!

JesterOrNot on 13 Dec 2019

❤4

Theming is a user-specific setting not workspace specific so putting it into the .gitpod.yml would be the wrong place. But I have good news, as we are going to roll this out next week.