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.

Sign up for GitHub

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

Jump to bottom

Editor theme stuck after switching themes #92

Closed
openmindculture opened this issue Nov 9, 2022 · 0 comments
Closed

Editor theme stuck after switching themes #92

openmindculture opened this issue Nov 9, 2022 · 0 comments

Comments

@openmindculture
Copy link
Owner

After switching from or two our Cute Pink * Themes, the editor theme might stick to the previous theme's editor theme, while the UI theme has successfully changed.

This also happens to other themes by other creators, but not to all of them. Dark Ubuntu seems to work (around an IDE bug?)

TODO: work around / research / raise YouTrack bug
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@openmindculture