Faça do editor Python com código Codemirror JavaScript
var editor = CodeMirror.fromTextArea(document.getElementById("demotext"), {
lineNumbers: true,
matchBrackets: true
});
Doubtful Dotterel