Merge branch 'master' into remove_unused_vars

xtermjs · Jul 14, 2017 · 5140c83 · 5140c83
2 parents 2275601 + 1b6ce6d
commit 5140c83
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/xterm.js b/src/xterm.js
@@ -2234,6 +2234,11 @@ Terminal.prototype.handler = function(data) {
     return;
   }
 
+  // Clear the selection if the selection manager is available and has an active selection
+  if (this.selectionManager && this.selectionManager.hasSelection) {
+    this.selectionManager.clearSelection();
+  }
+
   // Input is being sent to the terminal, the terminal should focus the prompt.
   if (this.ybase !== this.ydisp) {
     this.scrollToBottom();