Update to codemirror 4.7