(cm, viewport)
| 756 | } |
| 757 | |
| 758 | function updateDisplaySimple(cm, viewport) { |
| 759 | var update = new DisplayUpdate(cm, viewport); |
| 760 | if (updateDisplayIfNeeded(cm, update)) { |
| 761 | updateHeightsInViewport(cm); |
| 762 | postUpdateDisplay(cm, update); |
| 763 | var barMeasure = measureForScrollbars(cm); |
| 764 | updateSelection(cm); |
| 765 | setDocumentHeight(cm, barMeasure); |
| 766 | updateScrollbars(cm, barMeasure); |
| 767 | update.finish(); |
| 768 | } |
| 769 | } |
| 770 | |
| 771 | function setDocumentHeight(cm, measure) { |
| 772 | cm.display.sizer.style.minHeight = measure.docHeight + "px"; |
no test coverage detected