Remove code that causes a broken/invisible gutter

marijnh · marijnh · commit 0814679c16be · 2016-03-23T08:36:19.000+01:00
Issue codemirror#3884
diff --git a/lib/codemirror.js b/lib/codemirror.js
@@ -767,9 +767,6 @@
       updateScrollbars(cm, barMeasure);
     }
 
-    if (parseInt(cm.display.gutters.style.height) > cm.display.scroller.clientHeight)
-      cm.display.gutters.style.height = cm.display.scroller.clientHeight + "px"
-
     update.signal(cm, "update", cm);
     if (cm.display.viewFrom != cm.display.reportedViewFrom || cm.display.viewTo != cm.display.reportedViewTo) {
       update.signal(cm, "viewportChange", cm, cm.display.viewFrom, cm.display.viewTo);

Original file line number	Diff line number	Diff line change
`@@ -767,9 +767,6 @@`
`767`	`767`	`updateScrollbars(cm, barMeasure);`
`768`	`768`	`}`
`769`	`769`
`770`		`- if (parseInt(cm.display.gutters.style.height) > cm.display.scroller.clientHeight)`
`771`		`- cm.display.gutters.style.height = cm.display.scroller.clientHeight + "px"`
`772`		`-`
`773`	`770`	`update.signal(cm, "update", cm);`
`774`	`771`	`if (cm.display.viewFrom != cm.display.reportedViewFrom \|\| cm.display.viewTo != cm.display.reportedViewTo) {`
`775`	`772`	`update.signal(cm, "viewportChange", cm, cm.display.viewFrom, cm.display.viewTo);`