Reduce scope

diff --git a/editors/code/src/scopes.ts b/editors/code/src/scopes.ts
index f98b57452a717eb93ad6f0022b461a599816ed86..1229f0fb9c93518b18441ed571520258d6962de3 100644 (file)
--- 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(