[jankeromnes]

> Gitpod looked nice but the fact that you can only customize the editor per-repository doesn't make sense to me.

Gitpod also has user-specific Preferences, and even user-specific VS Code extensions. (Usually customization places have a "Workspace" tab and a "User" tab.)

[ianwalter]

I just added my user settings and my custom theme via .vsix and everything seems to have worked fine. Not sure how I missed this, thanks Jan!

[jankeromnes]

Hey, that's awesome! Thanks for the update.