(cm, val)
| 3941 | // Sync the scrollable area and scrollbars, ensure the viewport |
| 3942 | // covers the visible area. |
| 3943 | function setScrollTop(cm, val) { |
| 3944 | if (Math.abs(cm.doc.scrollTop - val) < 2) return; |
| 3945 | cm.doc.scrollTop = val; |
| 3946 | if (!gecko) updateDisplaySimple(cm, {top: val}); |
| 3947 | if (cm.display.scroller.scrollTop != val) cm.display.scroller.scrollTop = val; |
| 3948 | cm.display.scrollbars.setScrollTop(val); |
| 3949 | if (gecko) updateDisplaySimple(cm); |
| 3950 | startWorker(cm, 100); |
| 3951 | } |
| 3952 | // Sync scroller and scrollbar, ensure the gutter elements are |
| 3953 | // aligned. |
| 3954 | function setScrollLeft(cm, val, isScroller) { |
no test coverage detected