From 453a657172252e2ee2ac13a4e88e2f7d86022af4 Mon Sep 17 00:00:00 2001 From: Francesco Spissu <94986937+francescospissu@users.noreply.github.com> Date: Fri, 15 Jul 2022 14:09:36 +0200 Subject: [PATCH] sketchbook item selected bg update (#1190) --- 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 def804ac..a0ab90ea 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); +}