From 217ed2457b94ba4273a35da6565603ff54521c16 Mon Sep 17 00:00:00 2001
From: danyaPostfactum <danya.postfactum@gmail.com>
Date: Thu, 24 May 2012 16:56:03 +1200
Subject: [PATCH] Allow gutterLineHighlight in IE

---
 lib/ace/virtual_renderer.js | 4 ----
 1 file changed, 4 deletions(-)

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;