Function reCheckSelection

tools/pythonauto/static/codemirror/codemirror.js:2622–2624

(cm)

  }

  function reCheckSelection(cm) {
    setSelection(cm.doc, cm.doc.sel.from, cm.doc.sel.to, null, "push");
  }

  function skipAtomic(doc, pos, bias, mayClear) {
    var flipped = false, curPos = pos;