hacer editor de python con código codemirror javascript
var editor = CodeMirror.fromTextArea(document.getElementById("demotext"), {
lineNumbers: true,
matchBrackets: true
});
Doubtful Dotterel