Type InputHandler._terminal

2017-08-05 12:57:29 -07:00
parent 8a0bcf6b79
commit aee474b53e
7 changed files with 139 additions and 70 deletions
@@ -133,7 +133,7 @@ export class SelectionManager extends EventEmitter {
   * Disables the selection manager. This is useful for when terminal mouse
   * are enabled.
   */
-  public disable() {
+  public disable(): void {
    this.clearSelection();
    this._enabled = false;
  }
@@ -141,7 +141,7 @@ export class SelectionManager extends EventEmitter {
  /**
   * Enable the selection manager.
   */
-  public enable() {
+  public enable(): void {
    this._enabled = true;
  }