665
}
666
}
668
>
if (profile.workspaces?.length === 0) {
669
profile.workspaces = undefined;
670
}
672
>
profiles.push(profile);
673
>
}
674
>
675
>
this.updateStoredProfiles(profiles);
676
>
677
>
if (!donotTrigger) {
678
>
this.triggerProfilesChanges(added, removed, updated);
679
>
}
680
>
}
681
682
protected triggerProfilesChanges(added: IUserDataProfile[], removed: IUserDataProfile[], updated: IUserDataProfile[]) {
683
>
this._onDidChangeProfiles.fire({ added, removed, updated, all: this.profiles });
userDataProfile.ts
684
>
}
685
686
private updateEmptyWindowAssociation(windowId: string, newProfile: IUserDataProfile | undefined, transient: boolean): void {