You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Is your feature request related to a problem? Please describe.
The two themes available aren't personally pleasant and I'd like an easy way to update them
Describe the solution you'd like
A Theme tab in the settings would be best, or at minimum a link to a .json where I could input colors
Describe alternatives you've considered
otherwise I'll have to fork, build my own and edit the colors? Unless there is an easier way
The text was updated successfully, but these errors were encountered:
We use CodeMirror editor. I guess we could offer the possibility to choose other codemirror themes, but it would only change the editor's colors, not the menus. We'd just need to include the matching css files, which are about 5kb each.
Is your feature request related to a problem? Please describe.
The two themes available aren't personally pleasant and I'd like an easy way to update them
Describe the solution you'd like
A Theme tab in the settings would be best, or at minimum a link to a .json where I could input colors
Describe alternatives you've considered
otherwise I'll have to fork, build my own and edit the colors? Unless there is an easier way
The text was updated successfully, but these errors were encountered: