upgraded codemirror for the codemirror plugin