Function updateSelection

samples/common/codehighlight/codemirror.js:3134–3136

(cm)

  }

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

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