Function scrollToRange

lib/web/CodeMirror/src/display/scrolling.js:130–133

(cm, range)

}

export function scrollToRange(cm, range) {
  resolveScrollToPos(cm)
  cm.curOp.scrollToPos = range
}

// When an operation has its scrollToPos property set, and another
// scroll action is applied before the end of the operation, this