upgraded to codemirror version 3.13