Index: term.js-0.0.7/src/term.js
===================================================================
--- term.js-0.0.7.orig/src/term.js
+++ term.js-0.0.7/src/term.js
@@ -565,6 +565,8 @@ Terminal.bindKeys = function(document) {
     if (target === Terminal.focus.element
         || target === Terminal.focus.context
         || target === Terminal.focus.document
+        // ADDED by MarkRetallack, needs to accept during IE ajax call
+        || target === Terminal.focus.document.documentElement
         || target === Terminal.focus.body
         || target === Terminal._textarea
         || target === Terminal.focus.parent) {
@@ -579,6 +581,8 @@ Terminal.bindKeys = function(document) {
     if (target === Terminal.focus.element
         || target === Terminal.focus.context
         || target === Terminal.focus.document
+        // ADDED by MarkRetallack, needs to accept during IE ajax call
+        || target === Terminal.focus.document.documentElement
         || target === Terminal.focus.body
         || target === Terminal._textarea
         || target === Terminal.focus.parent) {