diff options
| author | Aleksey Kladov <aleksey.kladov@gmail.com> | 2019-12-31 02:30:43 +0100 |
|---|---|---|
| committer | Aleksey Kladov <aleksey.kladov@gmail.com> | 2019-12-31 02:30:43 +0100 |
| commit | cfb086592995a54828f23734a260d387db9ea926 (patch) | |
| tree | d8e231311467175f46dd604a21240d56aa6d39db /editors/code/src | |
| parent | 96de8076ff50096a0ae62c5eb7a2e9c77971b552 (diff) | |
| download | rust-cfb086592995a54828f23734a260d387db9ea926.tar.gz rust-cfb086592995a54828f23734a260d387db9ea926.zip | |
Reduce scope
Diffstat (limited to 'editors/code/src')
| -rw-r--r-- | editors/code/src/scopes.ts | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/editors/code/src/scopes.ts b/editors/code/src/scopes.ts index f98b57452a7..1229f0fb9c9 100644 --- a/editors/code/src/scopes.ts +++ b/editors/code/src/scopes.ts @@ -42,18 +42,20 @@ export function load() { } } -function filterThemeExtensions(extension: vscode.Extension<any>): boolean { - return ( - extension.extensionKind === vscode.ExtensionKind.UI && - extension.packageJSON.contributes && - extension.packageJSON.contributes.themes - ); -} + // Find current theme on disk function loadThemeNamed(themeName: string) { + function isTheme(extension: vscode.Extension<any>): boolean { + return ( + extension.extensionKind === vscode.ExtensionKind.UI && + extension.packageJSON.contributes && + extension.packageJSON.contributes.themes + ); + } + const themePaths = vscode.extensions.all - .filter(filterThemeExtensions) + .filter(isTheme) .reduce((list, extension) => { return extension.packageJSON.contributes.themes .filter( |