Function simpleSelection

tools/pythonauto/static/codemirrorepl/codemirror.js:1013–1015

(anchor, head)

  }

  function simpleSelection(anchor, head) {
    return new Selection([new Range(anchor, head || anchor)], 0);
  }

  // Most of the external API clips given positions to make sure they
  // actually exist within the document.