From 580c290971538052740eba3cde23ce8e4288b047 Mon Sep 17 00:00:00 2001
From: Ruben Daniels <ruben@c9.io>
Date: Fri, 4 May 2012 22:47:01 -0700
Subject: [PATCH] * Fix for gutter line highlighting setting

---
 lib/ace/editor.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/ace/editor.js b/lib/ace/editor.js
index 2d2a2861..01686d80 100644
--- a/lib/ace/editor.js
+++ b/lib/ace/editor.js
@@ -878,6 +878,7 @@ var Editor = function(renderer, session) {
             return;
 
         this.renderer.setHighlightGutterLine(shouldHighlight);
+        this.$highlightGutterLine = shouldHighlight;
     };
 
     this.getHighlightGutterLine = function() {