From 4509267f8993d315e8dd40554f673f1f6d4af1d5 Mon Sep 17 00:00:00 2001 From: BeniBenj Date: Tue, 5 Sep 2023 10:56:53 +0200 Subject: [PATCH] modify tabheight description --- src/vs/workbench/browser/workbench.contribution.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/workbench/browser/workbench.contribution.ts b/src/vs/workbench/browser/workbench.contribution.ts index 1a2d836c0a5..b3a23711702 100644 --- a/src/vs/workbench/browser/workbench.contribution.ts +++ b/src/vs/workbench/browser/workbench.contribution.ts @@ -169,7 +169,7 @@ const registry = Registry.as(ConfigurationExtensions.Con 'type': 'string', 'enum': ['normal', 'compact'], 'default': 'normal', - 'markdownDescription': localize({ comment: ['This is the description for a setting. Values surrounded by single quotes are not to be translated.'], key: 'workbench.editor.tabHeight' }, "Controls the height of editor tabs.") + 'markdownDescription': localize({ comment: ['This is the description for a setting. Values surrounded by single quotes are not to be translated.'], key: 'workbench.editor.tabHeight' }, "Controls the height of editor tabs. Also applies to the title control bar when `#workbench.editor.showTabs#` is disabled.") }, 'workbench.editor.pinnedTabSizing': { 'type': 'string',