Merge branch 'master' into remove_unused_vars

This commit is contained in:
Daniel Imms
2017-07-14 09:23:33 -07:00
committed by GitHub
+5
View File
@@ -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();