web icon indicating copy to clipboard operation
web copied to clipboard
verified publisher icon cyber-dojo

update to newer version of CodeMirror

Open JonJagger opened this issue 5 years ago • 0 comments

Or, if CodeMirror is no longer maintained, a library that is. This would provide API method to colour individual lines. stdout and stderr could then be merged into a single file called output.

JonJagger avatar May 30 '20 17:05 JonJagger