horrible hacks to silence codemirror