upgraded the codemirror plugin