From 0bb5ff8b091f3122104f3d3b04487a6594a23bcb Mon Sep 17 00:00:00 2001 From: npezza93 Date: Wed, 16 Aug 2017 21:00:57 -0400 Subject: [PATCH] Fix lints --- src/Terminal.ts | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/Terminal.ts b/src/Terminal.ts index 7e3b9a2d..38235ee2 100644 --- a/src/Terminal.ts +++ b/src/Terminal.ts @@ -694,7 +694,7 @@ export class Terminal extends EventEmitter implements ITerminal, IInputHandlingT this.viewportElement.appendChild(this.viewportScrollArea); // preload audio - this.preloadBellSound() + this.preloadBellSound(); // Create the selection container. this.selectionContainer = document.createElement('div'); @@ -2284,15 +2284,15 @@ export class Terminal extends EventEmitter implements ITerminal, IInputHandlingT } private visualBell(): boolean { - var styles = [].concat.apply([], [this.options.bellStyle]); + let styles = [].concat.apply([], [this.options.bellStyle]); - return styles.indexOf('visual') > -1 || styles.indexOf('both') > -1 + return styles.indexOf('visual') > -1 || styles.indexOf('both') > -1; } private soundBell(): boolean { - var styles = [].concat.apply([], [this.options.bellStyle]); + let styles = [].concat.apply([], [this.options.bellStyle]); - return styles.indexOf('sound') > -1 || styles.indexOf('both') > -1 + return styles.indexOf('sound') > -1 || styles.indexOf('both') > -1; } private preloadBellSound(): void {