diff options
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 |