From 31d89d6e4f84631198800e7b4f991606fb1cc57b Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Mon, 13 Jul 2015 11:07:36 +0200
Subject: [PATCH] Prevent sizer from propping up scroll height
Closes #3361
---
lib/codemirror.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lib/codemirror.js b/lib/codemirror.js
index 572cbbce5..a806e9a4e 100644
--- a/lib/codemirror.js
+++ b/lib/codemirror.js
@@ -714,7 +714,7 @@
// width and height.
removeChildren(display.cursorDiv);
removeChildren(display.selectionDiv);
- display.gutters.style.height = 0;
+ display.gutters.style.height = display.sizer.style.minHeight = 0;
if (different) {
display.lastWrapHeight = update.wrapperHeight;
--
GitLab