From 6c570ec920f88b7a3ad659a14135da245caf13a2 Mon Sep 17 00:00:00 2001 From: isidor Date: Thu, 17 Jan 2019 11:24:23 +0100 Subject: [PATCH] WorkbenchDataTree indent --- src/vs/platform/list/browser/listService.ts | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/vs/platform/list/browser/listService.ts b/src/vs/platform/list/browser/listService.ts index 4bf1143f14f..4d7be7cd635 100644 --- a/src/vs/platform/list/browser/listService.ts +++ b/src/vs/platform/list/browser/listService.ts @@ -990,7 +990,8 @@ export class WorkbenchDataTree extends DataTree extends DataTree(treeIndentKey); + this.updateOptions({ indent }); + } }) ); }