From 7a88a4b0e9770b5575fb4910577405cda755e32a Mon Sep 17 00:00:00 2001
From: TDaglis <ath.daglis@gmail.com>
Date: Tue, 3 Nov 2015 09:32:43 +0000
Subject: [PATCH] fixed selection in firefox

---
 src/xterm.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/xterm.js b/src/xterm.js
index 94257e24..e0264d64 100644
--- a/src/xterm.js
+++ b/src/xterm.js
@@ -585,7 +585,7 @@
 
       on(this.element, 'mouseup', function() {
         var selection = document.getSelection();
-        if (selection.type != 'Range') {
+        if (selection.isCollapsed) {
           self.focus();
         }
       });