From f7a4338ae066cc618f433cacd9d7b38e7b92286d Mon Sep 17 00:00:00 2001
From: Joonsoo Jeon <giyeok7@gmail.com>
Date: Thu, 9 May 2013 16:12:34 +0900
Subject: [PATCH] dirty counter bug fixed

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

diff --git a/lib/ace/undomanager.js b/lib/ace/undomanager.js
index 599e9158..0a226d5e 100644
--- a/lib/ace/undomanager.js
+++ b/lib/ace/undomanager.js
@@ -88,9 +88,9 @@ var UndoManager = function() {
             undoSelectionRange =
                 this.$doc.undoChanges(deltas, dontSelect);
             this.$redoStack.push(deltas);
+            this.dirtyCounter--;
         }
 
-        this.dirtyCounter--;
         return undoSelectionRange;
     };
 
@@ -107,9 +107,9 @@ var UndoManager = function() {
             redoSelectionRange =
                 this.$doc.redoChanges(deltas, dontSelect);
             this.$undoStack.push(deltas);
+            this.dirtyCounter++;
         }
 
-        this.dirtyCounter++;
         return redoSelectionRange;
     };