added selection.type fallback check

for browsers that might not support Selection.isCollapsed property

diff --git a/src/xterm.js b/src/xterm.js
index e0264d641ffd7c425f29d076d81225a34ca42d2f..42c8b81c28cbce4e8125ea46ae91450d1fd38299 100644 (file)
--- a/src/xterm.js
+++ b/src/xterm.js
@@ -584,8 +584,10 @@
       this.startBlink();
 
       on(this.element, 'mouseup', function() {
-        var selection = document.getSelection();
-        if (selection.isCollapsed) {
+        var selection = document.getSelection(),
+            collapsed = selection.isCollapsed,
+            isRange = typeof collapsed == 'boolean' ? !collapsed : selection.type == 'Range';
+        if (!isRange) {
           self.focus();
         }
       });