Integrate CodeMirror in edit form to define random, global, local and grading vars #203
Description
Replacing the default text area by a CodeMirror editor would allow for automatic line numbering. It could also be possible, in a second step, to integrate syntax highlighting.