(cm, viewport)
| 4267 | } |
| 4268 | |
| 4269 | function updateDisplaySimple(cm, viewport) { |
| 4270 | var update = new DisplayUpdate(cm, viewport); |
| 4271 | if (updateDisplayIfNeeded(cm, update)) { |
| 4272 | updateHeightsInViewport(cm); |
| 4273 | postUpdateDisplay(cm, update); |
| 4274 | var barMeasure = measureForScrollbars(cm); |
| 4275 | updateSelection(cm); |
| 4276 | updateScrollbars(cm, barMeasure); |
| 4277 | setDocumentHeight(cm, barMeasure); |
| 4278 | update.finish(); |
| 4279 | } |
| 4280 | } |
| 4281 | |
| 4282 | // Sync the actual display DOM structure with display.view, removing |
| 4283 | // nodes for lines that are no longer in view, and creating the ones |
no test coverage detected