From 71ec23a261ee35b88331f8f550c85b858e6a00c2 Mon Sep 17 00:00:00 2001 From: David Simpson <45690499+davegarthsimpson@users.noreply.github.com> Date: Mon, 4 Jul 2022 11:16:37 +0200 Subject: [PATCH 1/2] remove border from tree indent --- arduino-ide-extension/src/browser/style/sketchbook.css | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/arduino-ide-extension/src/browser/style/sketchbook.css b/arduino-ide-extension/src/browser/style/sketchbook.css index 2c88daa3f..e8e8346af 100644 --- a/arduino-ide-extension/src/browser/style/sketchbook.css +++ b/arduino-ide-extension/src/browser/style/sketchbook.css @@ -61,3 +61,7 @@ .theia-TreeNode.theia-mod-selected .sketchbook-commands-icons { display: block; } + +.theia-TreeContainer .theia-tree-node-indent { + border-right: none!important; +} From 2dbd2b2e638984a2decd499993bcec4dde3260be Mon Sep 17 00:00:00 2001 From: David Simpson <45690499+davegarthsimpson@users.noreply.github.com> Date: Mon, 4 Jul 2022 11:35:44 +0200 Subject: [PATCH 2/2] use config change instead of css override --- arduino-ide-extension/src/browser/style/sketchbook.css | 4 ---- electron-app/package.json | 3 ++- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/arduino-ide-extension/src/browser/style/sketchbook.css b/arduino-ide-extension/src/browser/style/sketchbook.css index e8e8346af..2c88daa3f 100644 --- a/arduino-ide-extension/src/browser/style/sketchbook.css +++ b/arduino-ide-extension/src/browser/style/sketchbook.css @@ -61,7 +61,3 @@ .theia-TreeNode.theia-mod-selected .sketchbook-commands-icons { display: block; } - -.theia-TreeContainer .theia-tree-node-indent { - border-right: none!important; -} diff --git a/electron-app/package.json b/electron-app/package.json index a7791d916..3608853e7 100644 --- a/electron-app/package.json +++ b/electron-app/package.json @@ -48,7 +48,8 @@ "comments": false, "strings": false }, - "breadcrumbs.enabled": false + "breadcrumbs.enabled": false, + "workbench.tree.renderIndentGuides": "none" } } },