fix javascript-highlight(CodeMirror)