Size gutters properly when no scrollbar is present

marijnh · marijnh · commit 2007b3c7c100 · 2014-03-15T09:57:45.000+01:00
Issue #2368
diff --git a/lib/codemirror.js b/lib/codemirror.js
@@ -649,7 +649,7 @@
 
   function setDocumentHeight(cm, measure) {
     cm.display.sizer.style.minHeight = cm.display.heightForcer.style.top = measure.docHeight + "px";
-    cm.display.gutters.style.height = Math.max(measure.docHeight, measure.clientHeight) + "px";
+    cm.display.gutters.style.height = Math.max(measure.docHeight, measure.clientHeight - scrollerCutOff) + "px";
   }
 
   // Read the actual heights of the rendered lines, and update their

Original file line number	Diff line number	Diff line change
`@@ -649,7 +649,7 @@`
`649`	`649`
`650`	`650`	`function setDocumentHeight(cm, measure) {`
`651`	`651`	`cm.display.sizer.style.minHeight = cm.display.heightForcer.style.top = measure.docHeight + "px";`
`652`		`- cm.display.gutters.style.height = Math.max(measure.docHeight, measure.clientHeight) + "px";`
	`652`	`+ cm.display.gutters.style.height = Math.max(measure.docHeight, measure.clientHeight - scrollerCutOff) + "px";`
`653`	`653`	`}`
`654`	`654`
`655`	`655`	`// Read the actual heights of the rendered lines, and update their`