(cm, measure)
| 504 | } |
| 505 | |
| 506 | function updateScrollbars(cm, measure) { |
| 507 | if (!measure) measure = measureForScrollbars(cm); |
| 508 | var startWidth = cm.display.barWidth, startHeight = cm.display.barHeight; |
| 509 | updateScrollbarsInner(cm, measure); |
| 510 | for (var i = 0; i < 4 && startWidth != cm.display.barWidth || startHeight != cm.display.barHeight; i++) { |
| 511 | if (startWidth != cm.display.barWidth && cm.options.lineWrapping) |
| 512 | updateHeightsInViewport(cm); |
| 513 | updateScrollbarsInner(cm, measureForScrollbars(cm)); |
| 514 | startWidth = cm.display.barWidth; startHeight = cm.display.barHeight; |
| 515 | } |
| 516 | } |
| 517 | |
| 518 | // Re-synchronize the fake scrollbars with the actual size of the |
| 519 | // content. |
no test coverage detected