Function setScrollLeft

external/.scrollLibs.js:5060–5071

(cm, val, isScroller, forceScroll)

  // Sync scroller and scrollbar, ensure the gutter elements are
  // aligned.
  function setScrollLeft(cm, val, isScroller, forceScroll) {
    val = Math.min(val, cm.display.scroller.scrollWidth - cm.display.scroller.clientWidth)
    if ((isScroller ? val == cm.doc.scrollLeft : Math.abs(cm.doc.scrollLeft - val) < 2) && !forceScroll) {
      return
    }
    cm.doc.scrollLeft = val
    alignHorizontally(cm)
    if (cm.display.scroller.scrollLeft != val) {
      cm.display.scroller.scrollLeft = val
    }
    cm.display.scrollbars.setScrollLeft(val)
  }

  // SCROLLBARS