(cm, val, forceScroll)
| 3558 | } |
| 3559 | |
| 3560 | function setScrollTop(cm, val, forceScroll) { |
| 3561 | val = Math.max(0, Math.min(cm.display.scroller.scrollHeight - cm.display.scroller.clientHeight, val)); |
| 3562 | if (cm.display.scroller.scrollTop == val && !forceScroll) { return } |
| 3563 | cm.doc.scrollTop = val; |
| 3564 | cm.display.scrollbars.setScrollTop(val); |
| 3565 | if (cm.display.scroller.scrollTop != val) { cm.display.scroller.scrollTop = val; } |
| 3566 | } |
| 3567 | |
| 3568 | // Sync scroller and scrollbar, ensure the gutter elements are |
| 3569 | // aligned. |
no outgoing calls
no test coverage detected