Function updateSelection

external/.scrollLibs.js:4435–4437

(cm)

  }

  function updateSelection(cm) {
    cm.display.input.showSelection(cm.display.input.prepareSelection())
  }

  function prepareSelection(cm, primary) {
    if (primary === void 0) primary = true