108
109
private onDidChangeStorageValue(e: IProfileStorageValueChangeEvent): void {
111
>
// State of extension with keys for sync has changed
112
>
if (this.extensionsWithKeysForSync.has(e.key.toLowerCase())) {
113
this._onDidChangeExtensionStorageToSync.fire();
114
return;
115
}
117
>
// Keys for sync of an extension has changed
118
>
const extensionIdWithVersion = ExtensionStorageService.fromKey(e.key);
119
>
if (extensionIdWithVersion) {
120
if (this.storageService.get(e.key, StorageScope.PROFILE) === undefined) {
121
this.extensionsWithKeysForSync.delete(extensionIdWithVersion.id.toLowerCase());