(cm, viewport)
| 4176 | } |
| 4177 | |
| 4178 | function updateDisplaySimple(cm, viewport) { |
| 4179 | var update = new DisplayUpdate(cm, viewport); |
| 4180 | if (updateDisplayIfNeeded(cm, update)) { |
| 4181 | updateHeightsInViewport(cm); |
| 4182 | postUpdateDisplay(cm, update); |
| 4183 | var barMeasure = measureForScrollbars(cm); |
| 4184 | updateSelection(cm); |
| 4185 | updateScrollbars(cm, barMeasure); |
| 4186 | setDocumentHeight(cm, barMeasure); |
| 4187 | update.finish(); |
| 4188 | } |
| 4189 | } |
| 4190 | |
| 4191 | // Sync the actual display DOM structure with display.view, removing |
| 4192 | // nodes for lines that are no longer in view, and creating the ones |
no test coverage detected