(cm, measure)
| 525 | } |
| 526 | |
| 527 | function updateScrollbars(cm, measure) { |
| 528 | if (!measure) measure = measureForScrollbars(cm); |
| 529 | var startWidth = cm.display.barWidth, startHeight = cm.display.barHeight; |
| 530 | updateScrollbarsInner(cm, measure); |
| 531 | for (var i = 0; i < 4 && startWidth != cm.display.barWidth || startHeight != cm.display.barHeight; i++) { |
| 532 | if (startWidth != cm.display.barWidth && cm.options.lineWrapping) |
| 533 | updateHeightsInViewport(cm); |
| 534 | updateScrollbarsInner(cm, measureForScrollbars(cm)); |
| 535 | startWidth = cm.display.barWidth; startHeight = cm.display.barHeight; |
| 536 | } |
| 537 | } |
| 538 | |
| 539 | // Re-synchronize the fake scrollbars with the actual size of the |
| 540 | // content. |
no test coverage detected