re #447 - Updated codemirror plugin to v1.12