updated to keep CodeMirror configurations away from principal code changes