Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow the user to customize theme colors via settings #6040

Open
HighCommander4 opened this issue Aug 25, 2019 · 4 comments
Open

Allow the user to customize theme colors via settings #6040

HighCommander4 opened this issue Aug 25, 2019 · 4 comments
Labels
help wanted issues meant to be picked up, require help theming issues related to theming vscode issues related to VSCode compatibility

Comments

@HighCommander4
Copy link
Contributor

VSCode has a mechanism to allow the user to customize theme colors, using the editors.tokenColorCustomizations setting.

It would be nice if Theia supported something similar.

@akosyakov
Copy link
Member

A dup of #4831?

@akosyakov akosyakov added theming issues related to theming vscode issues related to VSCode compatibility labels Aug 26, 2019
@akosyakov akosyakov self-assigned this Aug 26, 2019
@HighCommander4
Copy link
Contributor Author

HighCommander4 commented Aug 26, 2019

My understanding of #4831 is that it's about the capabilities of extensions.

Here, I'm talking about a user going to User Settings or Workspace Settings and customizing colors by adding some settings there.

@akosyakov akosyakov removed their assignment Dec 9, 2019
@akosyakov
Copy link
Member

See VS Code docs for it: https://code.visualstudio.com/docs/getstarted/themes#_customizing-a-color-theme

User customized theme colors won't be a part of #6475. We will tackle it separately to reduce complexity for now.

@akosyakov akosyakov added the help wanted issues meant to be picked up, require help label Jan 3, 2020
@danarad05
Copy link
Contributor

danarad05 commented Jan 6, 2021

@amiramw @rayakoren
FYI - for fixing #8899 - "editors.tokenColorCustomizations" preferences support is needed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
help wanted issues meant to be picked up, require help theming issues related to theming vscode issues related to VSCode compatibility
Projects
None yet
Development

No branches or pull requests

3 participants