WorkbenchDataTree indent

This commit is contained in:
isidor
2019-01-17 11:24:23 +01:00
parent bbf3b04bfb
commit 6c570ec920

View File

@@ -990,7 +990,8 @@ export class WorkbenchDataTree<TInput, T, TFilterData = void> extends DataTree<T
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);
@@ -1026,6 +1027,10 @@ export class WorkbenchDataTree<TInput, T, TFilterData = void> extends DataTree<T
if (e.affectsConfiguration(multiSelectModifierSettingKey)) {
this._useAltAsMultipleSelectionModifier = useAltAsMultipleSelectionModifier(configurationService);
}
if (e.affectsConfiguration(treeIndentKey)) {
const indent = configurationService.getValue<number>(treeIndentKey);
this.updateOptions({ indent });
}
})
);
}