#161791 better fix - use current profile (#162357)

This commit is contained in:
Sandeep Somavarapu 2022-09-29 17:01:56 +02:00 committed by GitHub
parent 12637cf568
commit f8ba3353d1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -65,7 +65,7 @@ export class WebExtensionManagementService extends AbstractExtensionManagementSe
}
private filterEvent({ profileLocation, applicationScoped }: { profileLocation?: URI; applicationScoped?: boolean }): boolean {
profileLocation = profileLocation ?? this.userDataProfilesService.defaultProfile.extensionsResource;
profileLocation = profileLocation ?? this.userDataProfileService.currentProfile.extensionsResource;
return applicationScoped || this.uriIdentityService.extUri.isEqual(this.userDataProfileService.currentProfile.extensionsResource, profileLocation);
}