eslint bump

This commit is contained in:
Eugene Pankov
2019-11-25 12:05:58 +01:00
parent 6a7ac612ee
commit d90f68c439
6 changed files with 15 additions and 30 deletions

View File

@@ -9,7 +9,7 @@ export function isWindowsBuild (build: number): boolean {
}
export function getCSSFontFamily (config: any): string {
let fonts = config.terminal.font.split(',').map(x => x.trim().replace(/"/g, ''))
let fonts: string[] = config.terminal.font.split(',').map(x => x.trim().replace(/"/g, ''))
if (config.terminal.fallbackFont) {
fonts.push(config.terminal.fallbackFont)
}