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 {