(cm, measure)
| 3702 | NullScrollbars.prototype.clear = function () {}; |
| 3703 | |
| 3704 | function updateScrollbars(cm, measure) { |
| 3705 | if (!measure) { measure = measureForScrollbars(cm); } |
| 3706 | var startWidth = cm.display.barWidth, startHeight = cm.display.barHeight; |
| 3707 | updateScrollbarsInner(cm, measure); |
| 3708 | for (var i = 0; i < 4 && startWidth != cm.display.barWidth || startHeight != cm.display.barHeight; i++) { |
| 3709 | if (startWidth != cm.display.barWidth && cm.options.lineWrapping) |
| 3710 | { updateHeightsInViewport(cm); } |
| 3711 | updateScrollbarsInner(cm, measureForScrollbars(cm)); |
| 3712 | startWidth = cm.display.barWidth; startHeight = cm.display.barHeight; |
| 3713 | } |
| 3714 | } |
| 3715 | |
| 3716 | // Re-synchronize the fake scrollbars with the actual size of the |
| 3717 | // content. |
no test coverage detected