From 3d9240c70be1ee965315bb14195b2d1e5b6cf87b Mon Sep 17 00:00:00 2001 From: Francesco Spissu Date: Tue, 5 Jul 2022 10:49:02 +0200 Subject: [PATCH 1/2] increase sketchbook tree indentation to reflect design system --- .../src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx b/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx index a8581be40..a25d9393b 100644 --- a/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx +++ b/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx @@ -28,7 +28,7 @@ import { nls } from '@theia/core/lib/common'; const customTreeProps: TreeProps = { leftPadding: 20, - expansionTogglePadding: 6, + expansionTogglePadding: 12, }; @injectable() From b26b54b699b9aabe1bed73c764fa05c6449bfd73 Mon Sep 17 00:00:00 2001 From: Francesco Spissu Date: Tue, 5 Jul 2022 12:29:54 +0200 Subject: [PATCH 2/2] change the correct padding variable --- .../src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx b/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx index a25d9393b..bb1a69914 100644 --- a/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx +++ b/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx @@ -27,8 +27,8 @@ import { Sketch } from '../../contributions/contribution'; import { nls } from '@theia/core/lib/common'; const customTreeProps: TreeProps = { - leftPadding: 20, - expansionTogglePadding: 12, + leftPadding: 26, + expansionTogglePadding: 6, }; @injectable()