From 8b5ebbb1b8f6b2127bbbd551ac10cc080482d5b4 Mon Sep 17 00:00:00 2001 From: Matt Bierner Date: Mon, 15 Apr 2019 17:12:02 -0700 Subject: [PATCH] Ignore case when checking _workbench.uiExtensions --- src/vs/platform/extensions/node/extensionsUtil.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/vs/platform/extensions/node/extensionsUtil.ts b/src/vs/platform/extensions/node/extensionsUtil.ts index e3b55968fcf..33cb1905136 100644 --- a/src/vs/platform/extensions/node/extensionsUtil.ts +++ b/src/vs/platform/extensions/node/extensionsUtil.ts @@ -11,11 +11,11 @@ import product from 'vs/platform/product/node/product'; export function isUIExtension(manifest: IExtensionManifest, uiContributions: string[], configurationService: IConfigurationService): boolean { const extensionId = getGalleryExtensionId(manifest.publisher, manifest.name); - const configuredUIExtensions = new Set(configurationService.getValue('_workbench.uiExtensions') || []); - if (configuredUIExtensions.has(extensionId)) { + const configuredUIExtensions = configurationService.getValue('_workbench.uiExtensions') || []; + if (configuredUIExtensions.some(id => areSameExtensions({ id }, { id: extensionId }))) { return true; } - if (configuredUIExtensions.has(`-${extensionId}`)) { + if (configuredUIExtensions.some(id => areSameExtensions({ id }, { id: `-${extensionId}` }))) { return false; } switch (manifest.extensionKind) {