"CodeMirror is a versatile text editor implemented in JavaScript for the browser" CodeMirror website: http://codemirror.net/ Instructions (to do): Add instructions Credit: The attached file was made by modifying the python.js file that comes with CodeMirror. python.js comes with the following license and copyright information: * CodeMirror, copyright (c) by Marijn Haverbeke and others * Distributed under an MIT license: http://codemirror.net/LICENSE