update to codemirror 3.12