Function setSimpleSelection

tools/pythonauto/static/codemirrorepl/codemirror.js:1088–1090

(doc, anchor, head, options)

  // Reset the selection to a single range.
  function setSimpleSelection(doc, anchor, head, options) {
    setSelection(doc, simpleSelection(anchor, head), options);
  }

  // Give beforeSelectionChange handlers a change to influence a
  // selection update.