Allow users to make the scrollbars in the title area larger (#92720)

* Added 2 settings for the scrollbar height of breadcrumbs and tabs

* Added 2 settings for the scrollbar height of breadcrumbs and tabs

* Moved from pixel based scrollbar settings to a categorical sizing setting, default and large

* some cleanup and 💄

* Use updateOptions to update the horizontal scrollbar size

Co-authored-by: Benjamin Pasero <benjpas@microsoft.com>
Co-authored-by: Alex Dima <alexdima@microsoft.com>
This commit is contained in:
Jonas Dellinger
2020-03-27 12:31:49 +01:00
committed by GitHub
parent 473a001731
commit 458a4c9c9f
14 changed files with 118 additions and 20 deletions

View File

@@ -17,6 +17,16 @@ import { workbenchConfigurationNodeBase } from 'vs/workbench/common/configuratio
registry.registerConfiguration({
...workbenchConfigurationNodeBase,
'properties': {
'workbench.editor.titleScrollbarSizing': {
type: 'string',
enum: ['default', 'large'],
enumDescriptions: [
nls.localize('workbench.editor.titleScrollbarSizing.default', "The default size."),
nls.localize('workbench.editor.titleScrollbarSizing.large', "Increases the size, so it can be grabed more easily with the mouse")
],
description: nls.localize('tabScrollbarHeight', "Controls the height of the scrollbars used for tabs and breadcrumbs in the editor title area."),
default: 'default',
},
'workbench.editor.showTabs': {
'type': 'boolean',
'description': nls.localize('showEditorTabs', "Controls whether opened editors should show in tabs or not."),