Function clearSelectionEvents

external/.scrollLibs.js:6638–6647

(array)

  // Pop all selection events off the end of a history array. Stop at
  // a change event.
  function clearSelectionEvents(array) {
    while (array.length) {
      var last = lst(array)
      if (last.ranges) {
        array.pop()
      } else {
        break
      }
    }
  }

  // Find the top change event in the history. Pop off selection
  // events that are in the way.