diff --git a/lib/codemirror.js b/lib/codemirror.js index 1a9830fed2..91b01b41c8 100644 --- a/lib/codemirror.js +++ b/lib/codemirror.js @@ -879,7 +879,7 @@ var CodeMirror = (function() { if (!updates.length) return; var th = textHeight(); - lineDiv.style.display = "none"; + lineDiv.style.display = gutter.style.display = "none"; // If more than 30% of the screen needs update, just do a full // redraw (which is quicker than patching) if (changedLines > (visible.to - visible.from) * .3) @@ -925,8 +925,8 @@ var CodeMirror = (function() { lineSpace.style.width = code.style.width = ""; } } + gutter.style.display = ""; if (different || gutterDirty) updateGutter(); - updateCursor(); }