From 81f58c4552984c08f79c55e61cd8ce4da1e64b82 Mon Sep 17 00:00:00 2001
From: DanyaPostfactum <danya.postfactum@gmail.com>
Date: Fri, 30 Nov 2012 20:18:44 +1000
Subject: [PATCH] Restore textarea selection after paste in IE

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

diff --git a/lib/ace/keyboard/textinput.js b/lib/ace/keyboard/textinput.js
index 32e179ac..ca41130e 100644
--- a/lib/ace/keyboard/textinput.js
+++ b/lib/ace/keyboard/textinput.js
@@ -239,6 +239,8 @@ var TextInput = function(parentNode, host) {
             var data = clipboardData.getData("Text");
             if (data)
                 host.onPaste(data);
+            if (useragent.isIE)
+                setTimeout(resetSelection);
             event.preventDefault(e);
         }
         else {