Seashell is an online environment for editing, running, and submitting C programming assignments.
GNU General Public License v3.0
38
stars
19
forks
source link
hook up settings, improve the settings architecture a bit #655
Closed
Happytofu closed 7 years ago
Changing font in the codemirror editor does not work for some reason.