Function extendSelections

external/.scrollLibs.js:6897–6905

(doc, heads, options)

  // Extend all selections (pos is an array of selections with length
  // equal the number of selections)
  function extendSelections(doc, heads, options) {
    var out = []
    var extend = doc.cm && (doc.cm.display.shift || doc.extend)
    for (var i = 0; i < doc.sel.ranges.length; i++) {
      out[i] = extendRange(doc.sel.ranges[i], heads[i], null, extend)
    }
    var newSel = normalizeSelection(doc.cm, out, doc.sel.primIndex)
    setSelection(doc, newSel, options)
  }

  // Updates a single range in the selection.
  function replaceOneSelection(doc, i, range, options) {