diff options
| author | Veetaha <[email protected]> | 2020-02-02 19:12:59 +0000 |
|---|---|---|
| committer | Veetaha <[email protected]> | 2020-02-02 19:12:59 +0000 |
| commit | 420462421d87a05c926501f8d4235f7660217924 (patch) | |
| tree | 681e88118603403c70de2e92d2a3cf3502bff2a0 /editors/code/src/color_theme.ts | |
| parent | d06e02dd13e7cf10d53203620592aa0e85d808c0 (diff) | |
vscode extension cleanup: migrate to prefer-const tslint rule
Diffstat (limited to 'editors/code/src/color_theme.ts')
| -rw-r--r-- | editors/code/src/color_theme.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/color_theme.ts b/editors/code/src/color_theme.ts index d816f617d..71113d374 100644 --- a/editors/code/src/color_theme.ts +++ b/editors/code/src/color_theme.ts | |||
| @@ -69,7 +69,7 @@ function loadThemeNamed(themeName: string): ColorTheme { | |||
| 69 | ); | 69 | ); |
| 70 | } | 70 | } |
| 71 | 71 | ||
| 72 | let themePaths = vscode.extensions.all | 72 | const themePaths = vscode.extensions.all |
| 73 | .filter(isTheme) | 73 | .filter(isTheme) |
| 74 | .flatMap(ext => { | 74 | .flatMap(ext => { |
| 75 | return ext.packageJSON.contributes.themes | 75 | return ext.packageJSON.contributes.themes |