(cm, viewport)
| 6022 | } |
| 6023 | |
| 6024 | function updateDisplaySimple(cm, viewport) { |
| 6025 | var update = new DisplayUpdate(cm, viewport) |
| 6026 | if (updateDisplayIfNeeded(cm, update)) { |
| 6027 | updateHeightsInViewport(cm) |
| 6028 | postUpdateDisplay(cm, update) |
| 6029 | var barMeasure = measureForScrollbars(cm) |
| 6030 | updateSelection(cm) |
| 6031 | updateScrollbars(cm, barMeasure) |
| 6032 | setDocumentHeight(cm, barMeasure) |
| 6033 | update.finish() |
| 6034 | } |
| 6035 | } |
| 6036 | |
| 6037 | // Sync the actual display DOM structure with display.view, removing |
| 6038 | // nodes for lines that are no longer in view, and creating the ones |
no test coverage detected