From 3fe042ac3b16f49bd627e64422bdc1286f06d704 Mon Sep 17 00:00:00 2001 From: Francesco Spissu Date: Thu, 14 Jul 2022 12:34:17 +0200 Subject: [PATCH] sketchbook item selected bg update --- arduino-ide-extension/src/browser/style/sketchbook.css | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/arduino-ide-extension/src/browser/style/sketchbook.css b/arduino-ide-extension/src/browser/style/sketchbook.css index def804acb..a0ab90ead 100644 --- a/arduino-ide-extension/src/browser/style/sketchbook.css +++ b/arduino-ide-extension/src/browser/style/sketchbook.css @@ -65,3 +65,8 @@ .theia-TreeNode.theia-mod-selected .sketchbook-commands-icons { display: block; } + +.theia-Tree:focus .theia-TreeNode.theia-mod-selected, +.theia-Tree .ReactVirtualized__List:focus .theia-TreeNode.theia-mod-selected { + background: var(--theia-list-inactiveSelectionBackground); +}