codemirror v3.12