Faire un éditeur Python avec Code Codemirror Javascript
var editor = CodeMirror.fromTextArea(document.getElementById("demotext"), {
lineNumbers: true,
matchBrackets: true
});
Doubtful Dotterel