search

judge0 / ide

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

Added settings page #13

Closed ron-popov closed 6 years ago

ron-popov commented 6 years ago

I added the settings page, but i had some problems when moving the vim mode toggle to the settings modal regarding the size of the toggle, i was hoping you could do it.