Function badPos

src/codemirror.js:1892–1892

(pos, bad)

  }

  function badPos(pos, bad) { if (bad) pos.bad = true; return pos; }

  function domToPos(cm, node, offset) {
    var lineNode;