From 40b2c0cced36737d19ddce1f2da0a47a0d58f8f7 Mon Sep 17 00:00:00 2001
From: Eddy Bruel <ejpbruel@gmail.com>
Date: Sun, 20 Feb 2011 14:10:57 +0100
Subject: [PATCH] Added ignore property to deltas for local undo

---
 lib/ace/edit_session.js | 2 +-
 support/pilot           | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/ace/edit_session.js b/lib/ace/edit_session.js
index 9d007dc7..f293cdc7 100644
--- a/lib/ace/edit_session.js
+++ b/lib/ace/edit_session.js
@@ -86,7 +86,7 @@ var EditSession = function(text, mode) {
     this.onChange = function(e) {
         var delta = e.data;
         this.$modified = true;
-        if (!this.$fromUndo && this.$undoManager) {
+        if (!this.$fromUndo && this.$undoManager && !delta.ignore) {
             this.$deltas.push(delta);
             this.$informUndoManager.schedule();
         }
diff --git a/support/pilot b/support/pilot
index cbfac498..6e1fbe1d 160000
--- a/support/pilot
+++ b/support/pilot
@@ -1 +1 @@
-Subproject commit cbfac498d30d43fdb7687d198c5b752736222c2f
+Subproject commit 6e1fbe1dfdff64020f15cd9e23ea72b7803cf406