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 |