diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js
index 996315e8..363f3cd8 100644
--- a/lib/ace/virtual_renderer.js
+++ b/lib/ace/virtual_renderer.js
@@ -451,10 +451,6 @@ var VirtualRenderer = function(container, theme) {
 
     this.$highlightGutterLine = false;
     this.setHighlightGutterLine = function(shouldHighlight) {
-        // adding this element to gutter causes strange behavior on ie
-        if (useragent.isIE)
-            return;
-
         if (this.$highlightGutterLine == shouldHighlight)
             return;
         this.$highlightGutterLine = shouldHighlight;