(cm, viewport)
| 776 | } |
| 777 | |
| 778 | function updateDisplaySimple(cm, viewport) { |
| 779 | var update = new DisplayUpdate(cm, viewport); |
| 780 | if (updateDisplayIfNeeded(cm, update)) { |
| 781 | updateHeightsInViewport(cm); |
| 782 | postUpdateDisplay(cm, update); |
| 783 | var barMeasure = measureForScrollbars(cm); |
| 784 | updateSelection(cm); |
| 785 | updateScrollbars(cm, barMeasure); |
| 786 | setDocumentHeight(cm, barMeasure); |
| 787 | update.finish(); |
| 788 | } |
| 789 | } |
| 790 | |
| 791 | function setDocumentHeight(cm, measure) { |
| 792 | cm.display.sizer.style.minHeight = measure.docHeight + "px"; |
no test coverage detected