From 64c06d34fa4b1c6beb71b14dd428c2c5a9c0f8cf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Breitbart?= Date: Sat, 17 Aug 2019 14:45:11 +0200 Subject: [PATCH] remove any types --- src/InputHandler.ts | 11 +---------- src/Terminal.ts | 4 ++-- 2 files changed, 3 insertions(+), 12 deletions(-) diff --git a/src/InputHandler.ts b/src/InputHandler.ts index 1ac98948..56b2d8be 100644 --- a/src/InputHandler.ts +++ b/src/InputHandler.ts @@ -1319,7 +1319,6 @@ export class InputHandler extends Disposable implements IInputHandler { break; case 1000: // vt200 mouse // no motion. - // no modifiers, except control on the wheel. this._coreMouseService.activeProtocol = 'VT200'; break; case 1002: // button event mouse @@ -1336,23 +1335,15 @@ export class InputHandler extends Disposable implements IInputHandler { this._terminal.sendFocus = true; break; case 1005: // utf8 ext mode mouse - this._coreMouseService.activeEncoding = 'UTF8'; // for wide terminals // simply encodes large values as utf8 characters + this._coreMouseService.activeEncoding = 'UTF8'; break; case 1006: // sgr ext mode mouse this._coreMouseService.activeEncoding = 'SGR'; - // for wide terminals - // does not add 32 to fields - // press: ^[[ void) | null} = { mouseup: null, wheel: null, mousedrag: null, mousemove: null }; - const eventListeners: {[key: string]: any} = { + const eventListeners: {[key: string]: (ev: Event) => void} = { mouseup: (ev: MouseEvent) => { sendEvent(ev); if (!ev.buttons) {