search

judge0 / ide

✨ Simple, free and open-source online code editor.
https://ide.judge0.com
MIT License
818 stars 257 forks source link

Editor themes #5

Closed hermanzdosilovic closed 5 years ago

hermanzdosilovic commented 6 years ago

It would be cool if we could change editor theme with using CodeMirror.

User would see dropdown (in navbar) of avaliable themes and when he selects his theme whole interfaces changes in that style.

dgarvit commented 6 years ago

I'd like to work upon this!

hermanzdosilovic commented 6 years ago

@dgarvit you are welcome! :smile:

hermanzdosilovic commented 6 years ago

@dgarvit any progress with this?

dgarvit commented 6 years ago

yup. but on doing it, only the side bar seems to change, text area remains white. font color changes too. so, is that okay, or as I am guessing, the text area color should change too?

hermanzdosilovic commented 6 years ago

@dgarvit text area color should change too. Try removing this line.

dgarvit commented 6 years ago

Removing that line didn't work.