Make it work if CodeMirror is not loaded