168
169
return deducedExtensionKind;
171
172
getUserConfiguredExtensionKind(extensionIdentifier: IExtensionIdentifier): ExtensionKind[] | undefined {
174
>
const configuredExtensionKindsMap = new ExtensionIdentifierMap<ExtensionKind | ExtensionKind[]>();
175
>
const configuredExtensionKinds = this.configurationService.getValue<{ [key: string]: ExtensionKind | ExtensionKind[] }>('remote.extensionKind') || {};
176
>
for (const id of Object.keys(configuredExtensionKinds)) {
177
configuredExtensionKindsMap.set(id, configuredExtensionKinds[id]);
178
}
180
>
}
181
>
182
>
const userConfiguredExtensionKind = this._configuredExtensionKindsMap.get(extensionIdentifier.id);
183
>
return userConfiguredExtensionKind ? this.toArray(userConfiguredExtensionKind) : undefined;
184
>
}
185
186
getExtensionUntrustedWorkspaceSupportType(manifest: IExtensionManifest): ExtensionUntrustedWorkspaceSupportType {