Merge pull request #537 from Drachenkaetzchen/bugfix-wheelevent-ts32

Fix for MouseWheelEvent deprecation in TypeScript 3.2
This commit is contained in:
Eugene 2018-12-05 01:30:19 +01:00 committed by GitHub
commit bd5f274cf3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -261,15 +261,23 @@ export class TerminalTabComponent extends BaseTabComponent {
}
}
if (event.type === 'mousewheel') {
let wheelDeltaY = 0
if ('wheelDeltaY' in event) {
wheelDeltaY = (event as MouseWheelEvent)["wheelDeltaY"]
} else {
wheelDeltaY = (event as MouseWheelEvent)["deltaY"]
}
if (event.ctrlKey || event.metaKey) {
if ((event as MouseWheelEvent).wheelDeltaY > 0) {
if (wheelDeltaY > 0) {
this.zoomIn()
} else {
this.zoomOut()
}
} else if (event.altKey) {
event.preventDefault()
let delta = Math.round((event as MouseWheelEvent).wheelDeltaY / 50)
let delta = Math.round(wheelDeltaY / 50)
this.sendInput(((delta > 0) ? '\u001bOA' : '\u001bOB').repeat(Math.abs(delta)))
}
}