TrapinchO
commented
1 year ago Different themes were plannes in #608. It would be quite nice, both general theme and per-language theme (possibly a combination)
Open egershenfeld opened 1 year ago
TrapinchO
commented
1 year ago Different themes were plannes in #608. It would be quite nice, both general theme and per-language theme (possibly a combination)
I would love to be able to customize the UI colors. I initially thought to post this as an ask for additional themes or a dark mode - but being able to assign custom values for the different colors currently used would be the most useful, at least in my case. Saving and being able to share these themes would also be nice.
Beyond just the ability to make the UI fit individual user's preferences better, I would really find this useful in being able to create different color schemes for the languages I'm working on - matching the UI's aesthetic to the language would help while working on them.