Function badPos

lib/web/CodeMirror/src/input/ContentEditableInput.js:417–417

(pos, bad)

}

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

function domTextBetween(cm, from, to, fromLine, toLine) {
  let text = "", closing = false, lineSep = cm.doc.lineSeparator(), extraLinebreak = false