fix crazy mess in codemirror v3.24.0