diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-02 19:20:42 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-02 19:20:42 +0000 |
commit | e72771ebc6eb98c58a9e4216f7e3381a41e75f84 (patch) | |
tree | 681e88118603403c70de2e92d2a3cf3502bff2a0 /editors/code/src/color_theme.ts | |
parent | d06e02dd13e7cf10d53203620592aa0e85d808c0 (diff) | |
parent | 420462421d87a05c926501f8d4235f7660217924 (diff) |
Merge #2986
2986: vscode extension cleanup: migrate to prefer-const tslint rule r=matklad a=Veetaha
Co-authored-by: Veetaha <[email protected]>
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 |