Ticket #3216: 3216.patch

_source/plugins/pastetext/plugin.js

@@ -22 +22 @@
                                 return;
                         }
 
+                        // Check if the selection is inside the editing area for IE. (#3216)
+                        if ( !editor.getSelection() )
+                                return;
                         text = clipboardData.getData( 'Text' );
-
                         editor.insertText( text );
                 }
         };