tabHeight setting name change (#193977)

* setting name change

* 💄

* 💄
This commit is contained in:
Benjamin Simmonds
2023-09-25 16:34:36 +02:00
committed by GitHub
parent 1f56ec49bf
commit fb50e794eb
4 changed files with 18 additions and 7 deletions

View File

@@ -165,10 +165,10 @@ const registry = Registry.as<IConfigurationRegistry>(ConfigurationExtensions.Con
'minimum': 38,
'markdownDescription': localize({ comment: ['This is the description for a setting. Values surrounded by single quotes are not to be translated.'], key: 'workbench.editor.tabSizingFixedMaxWidth' }, "Controls the maximum width of tabs when `#workbench.editor.tabSizing#` size is set to `fixed`.")
},
'workbench.editor.tabHeight': {
'window.density.editorTabHeight': {
'type': 'string',
'enum': ['normal', 'compact'],
'default': 'normal',
'enum': ['default', 'compact'],
'default': 'default',
'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': {