upgraded to codemirror 3.19