(cm, val)
| 2821 | // Sync the scrollable area and scrollbars, ensure the viewport |
| 2822 | // covers the visible area. |
| 2823 | function setScrollTop(cm, val) { |
| 2824 | if (Math.abs(cm.doc.scrollTop - val) < 2) return; |
| 2825 | cm.doc.scrollTop = val; |
| 2826 | if (!gecko) updateDisplay(cm, {top: val}); |
| 2827 | if (cm.display.scroller.scrollTop != val) cm.display.scroller.scrollTop = val; |
| 2828 | if (cm.display.scrollbarV.scrollTop != val) cm.display.scrollbarV.scrollTop = val; |
| 2829 | if (gecko) updateDisplay(cm); |
| 2830 | startWorker(cm, 100); |
| 2831 | } |
| 2832 | // Sync scroller and scrollbar, ensure the gutter elements are |
| 2833 | // aligned. |
| 2834 | function setScrollLeft(cm, val, isScroller) { |
no test coverage detected