Merge pull request codemirror#13 from adobe/i-love-ie

Fix blank top line in IE7/IE8 - reviewed by nj
alltom · Jan 13, 2012 · 8e24286 · 8e24286
2 parents 0318f3f + ee630b7
commit 8e24286
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lib/codemirror.js b/lib/codemirror.js
@@ -50,7 +50,9 @@ var CodeMirror = (function() {
     if (!webkit) lineSpace.draggable = true;
     if (options.tabindex != null) input.tabIndex = options.tabindex;
     if (!options.gutter && !options.lineNumbers) gutter.style.display = "none";
-
+    // On IE, the selection div takes up space if it doesn't contain any spans. Work around with display="inline"
+    if (ie) selectionDiv.style.display = "inline";
+
     // Check for OS X >= 10.7. If so, we need to force a width on the scrollbar, and 
     // make it overlap the content.
     var osxMatch = /Mac OS X 10\D([\d+])\D/.exec(navigator.userAgent);