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