Function scrollToCoordsRange

external/.scrollLibs.js:5020–5028

(cm, from, to, margin)

  }

  function scrollToCoordsRange(cm, from, to, margin) {
    var sPos = calculateScrollPos(cm, {
      left: Math.min(from.left, to.left),
      top: Math.min(from.top, to.top) - margin,
      right: Math.max(from.right, to.right),
      bottom: Math.max(from.bottom, to.bottom) + margin
    })
    scrollToCoords(cm, sPos.scrollLeft, sPos.scrollTop)
  }

  // Sync the scrollable area and scrollbars, ensure the viewport
  // covers the visible area.