From 86478b9353be78cb80ede3bd792f6da0e2785ab1 Mon Sep 17 00:00:00 2001
From: Eddy Bruel <ejpbruel@trinity.local>
Date: Tue, 2 Nov 2010 18:24:06 +0100
Subject: [PATCH] After undoing an insert (which amounts to a remove) there
 should not be a selection (fixed)

---
 lib/ace/Document.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/ace/Document.js b/lib/ace/Document.js
index bb7b27b7..54aa2030 100644
--- a/lib/ace/Document.js
+++ b/lib/ace/Document.js
@@ -557,7 +557,7 @@ var Document = function(text, mode) {
                 this.selection.moveCursorToPosition(delta.range.start);
             } else {
                 this.insert(delta.range.start, delta.text, true);
-                this.selection.setSelectionRange(delta.range);
+                this.selection.clearSelection();
             }
         }
     },