From d1c125fb56b927e21e34a3f05d9e85af55c33e4c Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Tue, 8 May 2012 23:01:43 +0400
Subject: [PATCH] fix ie9 gutter bug #739

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

diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js
index 363f3cd8..996315e8 100644
--- a/lib/ace/virtual_renderer.js
+++ b/lib/ace/virtual_renderer.js
@@ -451,6 +451,10 @@ 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;