(cm, val)
| 5030 | // Sync the scrollable area and scrollbars, ensure the viewport |
| 5031 | // covers the visible area. |
| 5032 | function updateScrollTop(cm, val) { |
| 5033 | if (Math.abs(cm.doc.scrollTop - val) < 2) { |
| 5034 | return |
| 5035 | } |
| 5036 | if (!gecko) { |
| 5037 | updateDisplaySimple(cm, { top: val }) |
| 5038 | } |
| 5039 | setScrollTop(cm, val, true) |
| 5040 | if (gecko) { |
| 5041 | updateDisplaySimple(cm) |
| 5042 | } |
| 5043 | startWorker(cm, 100) |
| 5044 | } |
| 5045 | |
| 5046 | function setScrollTop(cm, val, forceScroll) { |
| 5047 | val = Math.min(cm.display.scroller.scrollHeight - cm.display.scroller.clientHeight, val) |
no test coverage detected