Function replaceOneSelection

external/.scrollLibs.js:6908–6912

(doc, i, range, options)

  // Updates a single range in the selection.
  function replaceOneSelection(doc, i, range, options) {
    var ranges = doc.sel.ranges.slice(0)
    ranges[i] = range
    setSelection(doc, normalizeSelection(doc.cm, ranges, doc.sel.primIndex), options)
  }

  // Reset the selection to a single range.
  function setSimpleSelection(doc, anchor, head, options) {