var editor = CodeMirror.fromTextArea(document.getElementById("demotext"), { lineNumbers: true, matchBrackets: true });