waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Fix lints

Browse Source
This commit is contained in:
npezza93
2017-08-16 21:00:57 -04:00
parent 1d6f71d680
commit 0bb5ff8b09
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/Terminal.ts
+5 -5
View File
@@ -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 {