From 24b75dad90f8628edcccdd3070bdf84dbb751e00 Mon Sep 17 00:00:00 2001 From: isidor Date: Thu, 17 Jan 2019 11:05:51 +0100 Subject: [PATCH] workbench.tree.indent fixes #35447 --- src/vs/platform/list/browser/listService.ts | 20 ++++++++++++++++++-- 1 file changed, 18 insertions(+), 2 deletions(-) diff --git a/src/vs/platform/list/browser/listService.ts b/src/vs/platform/list/browser/listService.ts index 3ae319b4e66..4bf1143f14f 100644 --- a/src/vs/platform/list/browser/listService.ts +++ b/src/vs/platform/list/browser/listService.ts @@ -113,6 +113,7 @@ function createScopedContextKeyService(contextKeyService: IContextKeyService, wi export const multiSelectModifierSettingKey = 'workbench.list.multiSelectModifier'; export const openModeSettingKey = 'workbench.list.openMode'; export const horizontalScrollingKey = 'workbench.tree.horizontalScrolling'; +const treeIndentKey = 'workbench.tree.indent'; function useAltAsMultipleSelectionModifier(configurationService: IConfigurationService): boolean { return configurationService.getValue(multiSelectModifierSettingKey) === 'alt'; @@ -908,7 +909,8 @@ export class WorkbenchObjectTree, TFilterData = void> keyboardSupport: false, styleController: new DefaultStyleController(getSharedListStyleSheet()), ...computeStyles(themeService.getTheme(), defaultListStyles), - ...toWorkbenchListOptions(options, configurationService, keybindingService) + ...toWorkbenchListOptions(options, configurationService, keybindingService), + indent: configurationService.getValue(treeIndentKey) }); this.contextKeyService = createScopedContextKeyService(contextKeyService, this); @@ -944,6 +946,10 @@ export class WorkbenchObjectTree, TFilterData = void> if (e.affectsConfiguration(multiSelectModifierSettingKey)) { this._useAltAsMultipleSelectionModifier = useAltAsMultipleSelectionModifier(configurationService); } + if (e.affectsConfiguration(treeIndentKey)) { + const indent = configurationService.getValue(treeIndentKey); + this.updateOptions({ indent }); + } }) ); } @@ -1055,7 +1061,8 @@ export class WorkbenchAsyncDataTree extends Async keyboardSupport: false, styleController: new DefaultStyleController(getSharedListStyleSheet()), ...computeStyles(themeService.getTheme(), defaultListStyles), - ...toWorkbenchListOptions(options, configurationService, keybindingService) + ...toWorkbenchListOptions(options, configurationService, keybindingService), + indent: configurationService.getValue(treeIndentKey) }); this.contextKeyService = createScopedContextKeyService(contextKeyService, this); @@ -1091,6 +1098,10 @@ export class WorkbenchAsyncDataTree extends Async if (e.affectsConfiguration(multiSelectModifierSettingKey)) { this._useAltAsMultipleSelectionModifier = useAltAsMultipleSelectionModifier(configurationService); } + if (e.affectsConfiguration(treeIndentKey)) { + const indent = configurationService.getValue(treeIndentKey); + this.updateOptions({ indent }); + } }) ); } @@ -1137,6 +1148,11 @@ configurationRegistry.registerConfiguration({ 'type': 'boolean', 'default': false, 'description': localize('horizontalScrolling setting', "Controls whether trees support horizontal scrolling in the workbench.") + }, + [treeIndentKey]: { + 'type': 'number', + 'default': 8, + 'description': localize('tree indent setting', "Controls tree indentation in pixels.") } } }); -- GitLab