(cm, measure)
| 135 | } |
| 136 | |
| 137 | export function updateScrollbars(cm, measure) { |
| 138 | if (!measure) measure = measureForScrollbars(cm) |
| 139 | let startWidth = cm.display.barWidth, startHeight = cm.display.barHeight |
| 140 | updateScrollbarsInner(cm, measure) |
| 141 | for (let i = 0; i < 4 && startWidth != cm.display.barWidth || startHeight != cm.display.barHeight; i++) { |
| 142 | if (startWidth != cm.display.barWidth && cm.options.lineWrapping) |
| 143 | updateHeightsInViewport(cm) |
| 144 | updateScrollbarsInner(cm, measureForScrollbars(cm)) |
| 145 | startWidth = cm.display.barWidth; startHeight = cm.display.barHeight |
| 146 | } |
| 147 | } |
| 148 | |
| 149 | // Re-synchronize the fake scrollbars with the actual size of the |
| 150 | // content. |
no test coverage detected