Commits

Anonymous committed e12d2b8

Fix previous patch

Comments (0)

Files changed (1)

lib/codemirror.js

       }
 
       if (!updates.length) return;
-      var th = textHeight();
+      var th = textHeight(), gutterDisplay = gutter.style.display;
       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)
           lineSpace.style.width = code.style.width = "";
         }
       }
-      gutter.style.display = "";
+      gutter.style.display = gutterDisplay;
       if (different || gutterDirty) updateGutter();
       updateCursor();
     }