Ignore case when checking _workbench.uiExtensions

This commit is contained in:
Matt Bierner 2019-04-15 17:12:02 -07:00
parent cd8260bc94
commit 8b5ebbb1b8

View file

@ -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<string[]>('_workbench.uiExtensions') || []);
if (configuredUIExtensions.has(extensionId)) {
const configuredUIExtensions = configurationService.getValue<string[]>('_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) {