From 2f01870f0574bc38aa11b1a1deae2739f9b4c489 Mon Sep 17 00:00:00 2001
From: DanyaPostfactum <danya.postfactum@gmail.com>
Date: Fri, 30 Nov 2012 20:11:09 +1000
Subject: [PATCH] Fix old way paste (reset a selection)

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

diff --git a/lib/ace/keyboard/textinput.js b/lib/ace/keyboard/textinput.js
index dfad806b..32e179ac 100644
--- a/lib/ace/keyboard/textinput.js
+++ b/lib/ace/keyboard/textinput.js
@@ -129,6 +129,7 @@ var TextInput = function(parentNode, host) {
         if (pasted) {
             var data = text.value;
             resetValue();
+            resetSelection();
             if (data)
                 host.onPaste(data);
             pasted = false;