Function resolveScrollToPos

external/.scrollLibs.js:5010–5018

(cm)

  // 'simulates' scrolling that position into view in a cheap way, so
  // that the effect of intermediate scroll commands is not ignored.
  function resolveScrollToPos(cm) {
    var range$$1 = cm.curOp.scrollToPos
    if (range$$1) {
      cm.curOp.scrollToPos = null
      var from = estimateCoords(cm, range$$1.from),
        to = estimateCoords(cm, range$$1.to)
      scrollToCoordsRange(cm, from, to, range$$1.margin)
    }
  }

  function scrollToCoordsRange(cm, from, to, margin) {
    var sPos = calculateScrollPos(cm, {