Merge branch 'master' into true_color

This commit is contained in:
Jörg Breitbart
2019-01-25 02:43:52 +01:00
2 changed files with 8 additions and 2 deletions
+6 -2
View File
@@ -1266,7 +1266,9 @@ export class InputHandler extends Disposable implements IInputHandler {
this._terminal.vt200Mouse = params[0] === 1000;
this._terminal.normalMouse = params[0] > 1000;
this._terminal.mouseEvents = true;
this._terminal.element.classList.add('enable-mouse-events');
if (this._terminal.element) {
this._terminal.element.classList.add('enable-mouse-events');
}
this._terminal.selectionManager.disable();
this._terminal.log('Binding to mouse events.');
break;
@@ -1454,7 +1456,9 @@ export class InputHandler extends Disposable implements IInputHandler {
this._terminal.vt200Mouse = false;
this._terminal.normalMouse = false;
this._terminal.mouseEvents = false;
this._terminal.element.classList.remove('enable-mouse-events');
if (this._terminal.element) {
this._terminal.element.classList.remove('enable-mouse-events');
}
this._terminal.selectionManager.enable();
break;
case 1004: // send focusin/focusout events