diff --git a/lib/codemirror.js b/lib/codemirror.js index 572cbbce528685248b1fe731d6fc98169e0172eb..a806e9a4e12611a20a4ed3ab030c06f1dcb00209 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;