From 934307f5be0525d3f8ec71b96e69ac6b75b54006 Mon Sep 17 00:00:00 2001 From: Sandeep Somavarapu Date: Mon, 17 Jun 2024 12:51:47 +0200 Subject: [PATCH] fix #214621 (#215942) --- .../contrib/userDataProfile/browser/userDataProfilesEditor.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/workbench/contrib/userDataProfile/browser/userDataProfilesEditor.ts b/src/vs/workbench/contrib/userDataProfile/browser/userDataProfilesEditor.ts index 920e71224a1..a34110b5b96 100644 --- a/src/vs/workbench/contrib/userDataProfile/browser/userDataProfilesEditor.ts +++ b/src/vs/workbench/contrib/userDataProfile/browser/userDataProfilesEditor.ts @@ -557,7 +557,7 @@ class ProfileWidget extends Disposable { this.copyFromSelectBox.render(append(this.copyFromContainer, $('.profile-select-container'))); this.useAsDefaultProfileContainer = append(body, $('.profile-use-as-default-container')); - const useAsDefaultProfileTitle = localize('enable for new windows', "Use this profile for new windows"); + const useAsDefaultProfileTitle = localize('enable for new windows', "Use this profile as default for new windows"); this.useAsDefaultProfileCheckbox = this._register(new Checkbox(useAsDefaultProfileTitle, false, defaultCheckboxStyles)); append(this.useAsDefaultProfileContainer, this.useAsDefaultProfileCheckbox.domNode); const useAsDefaultProfileLabel = append(this.useAsDefaultProfileContainer, $('.profile-use-as-default-label', undefined, useAsDefaultProfileTitle));