(cm, measure)
| 5217 | NullScrollbars.prototype.clear = function () {} |
| 5218 | |
| 5219 | function updateScrollbars(cm, measure) { |
| 5220 | if (!measure) { |
| 5221 | measure = measureForScrollbars(cm) |
| 5222 | } |
| 5223 | var startWidth = cm.display.barWidth, |
| 5224 | startHeight = cm.display.barHeight |
| 5225 | updateScrollbarsInner(cm, measure) |
| 5226 | for (var i = 0; (i < 4 && startWidth != cm.display.barWidth) || startHeight != cm.display.barHeight; i++) { |
| 5227 | if (startWidth != cm.display.barWidth && cm.options.lineWrapping) { |
| 5228 | updateHeightsInViewport(cm) |
| 5229 | } |
| 5230 | updateScrollbarsInner(cm, measureForScrollbars(cm)) |
| 5231 | startWidth = cm.display.barWidth |
| 5232 | startHeight = cm.display.barHeight |
| 5233 | } |
| 5234 | } |
| 5235 | |
| 5236 | // Re-synchronize the fake scrollbars with the actual size of the |
| 5237 | // content. |
no test coverage detected