(cm, measure)
| 786 | } |
| 787 | |
| 788 | function setDocumentHeight(cm, measure) { |
| 789 | cm.display.sizer.style.minHeight = measure.docHeight + "px"; |
| 790 | var total = measure.docHeight + cm.display.barHeight; |
| 791 | cm.display.heightForcer.style.top = total + "px"; |
| 792 | cm.display.gutters.style.height = Math.max(total + scrollGap(cm), measure.clientHeight) + "px"; |
| 793 | } |
| 794 | |
| 795 | // Read the actual heights of the rendered lines, and update their |
| 796 | // stored heights to match. |
no test coverage detected