Function selectionSnapshot

external/.scrollLibs.js:5864–5883

(cm)

  }

  function selectionSnapshot(cm) {
    if (cm.hasFocus()) {
      return null
    }
    var active = activeElt()
    if (!active || !contains(cm.display.lineDiv, active)) {
      return null
    }
    var result = { activeElt: active }
    if (window.getSelection) {
      var sel = window.getSelection()
      if (sel.anchorNode && sel.extend && contains(cm.display.lineDiv, sel.anchorNode)) {
        result.anchorNode = sel.anchorNode
        result.anchorOffset = sel.anchorOffset
        result.focusNode = sel.focusNode
        result.focusOffset = sel.focusOffset
      }
    }
    return result
  }

  function restoreSelection(snapshot) {
    if (!snapshot || !snapshot.activeElt || snapshot.activeElt == activeElt()) {