code: function resolveScrollToPos(cm) {
    let range = cm.curOp.scrollToPos
    if (range) {
      cm.curOp.scrollToPos = null
      let from = estimateCoords(cm, range.from), to = estimateCoords(cm, range.to)
      scrollToCoordsRange(cm, from, to, range.margin)
    }
  }
docs: When an operation has its scrollToPos property set, and another scroll action is applied before the end of the operation, this 'simulates' scrolling that position into view in a cheap way, so that the effect of intermediate scroll commands is not ignored.