development/vscode
development/vscode
1
0
Fork 0
mirror of https://github.com/Microsoft/vscode synced 2024-08-27 21:09:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix #183777 (#183929)

Browse source
This commit is contained in:
Sandeep Somavarapu 2023-05-31 14:12:48 +02:00 committed by GitHub
parent b3f2337542
commit 68e4866b30
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/vs/workbench/services/userDataProfile/browser/userDataProfileManagement.ts
View file

@ -119,6 +119,10 @@ export class UserDataProfileManagementService extends Disposable implements IUse
if (!isRemoteWindow) {
if (!(await this.extensionService.stopExtensionHosts(localize('switch profile', "Switching to a profile.")))) {
// If extension host did not stop, do not switch profile
if (this.userDataProfilesService.profiles.some(p => p.id === this.userDataProfileService.currentProfile.id)) {
await this.userDataProfilesService.setProfileForWorkspace(toWorkspaceIdentifier(this.workspaceContextService.getWorkspace()), this.userDataProfileService.currentProfile);
}
throw new CancellationError();
}
}