(cm, val)
| 3964 | // Sync the scrollable area and scrollbars, ensure the viewport |
| 3965 | // covers the visible area. |
| 3966 | function setScrollTop(cm, val) { |
| 3967 | if (Math.abs(cm.doc.scrollTop - val) < 2) return; |
| 3968 | cm.doc.scrollTop = val; |
| 3969 | if (!gecko) updateDisplaySimple(cm, {top: val}); |
| 3970 | if (cm.display.scroller.scrollTop != val) cm.display.scroller.scrollTop = val; |
| 3971 | cm.display.scrollbars.setScrollTop(val); |
| 3972 | if (gecko) updateDisplaySimple(cm); |
| 3973 | startWorker(cm, 100); |
| 3974 | } |
| 3975 | // Sync scroller and scrollbar, ensure the gutter elements are |
| 3976 | // aligned. |
| 3977 | function setScrollLeft(cm, val, isScroller) { |
no test coverage detected