Enhance settings profiles management (#155966)

* fix #154178

* - Support renaming profile
- Refactor profile actions

* fix compilation

* fix label
This commit is contained in:
Sandeep Somavarapu
2022-07-22 15:42:52 +02:00
committed by GitHub
parent 6567f3da69
commit d902fec1d2
10 changed files with 228 additions and 77 deletions
@@ -59,7 +59,7 @@ class ProfileExtensionsCleaner extends Disposable {
this.onDidChangeProfiles({ added: this.userDataProfilesService.profiles, removed: [], all: this.userDataProfilesService.profiles });
}
private async onDidChangeProfiles({ added, removed, all }: DidChangeProfilesEvent): Promise<void> {
private async onDidChangeProfiles({ added, removed, all }: Omit<DidChangeProfilesEvent, 'updated'>): Promise<void> {
try {
await Promise.all(removed.map(profile => profile.extensionsResource ? this.removeExtensionsFromProfile(profile.extensionsResource) : Promise.resolve()));
} catch (error) {