From 71cfa06fc2927aed71c4d718046733f7258e464a Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Wed, 3 Feb 2021 12:14:07 +0100 Subject: [PATCH] ATL-878: Fixed boards dropdown with the HC theme. Signed-off-by: Akos Kitta --- .../src/browser/style/boards-config-dialog.css | 7 +++++-- .../src/browser/widgets/arduino-select.tsx | 1 + 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/arduino-ide-extension/src/browser/style/boards-config-dialog.css b/arduino-ide-extension/src/browser/style/boards-config-dialog.css index 72c251da..7b15af3b 100644 --- a/arduino-ide-extension/src/browser/style/boards-config-dialog.css +++ b/arduino-ide-extension/src/browser/style/boards-config-dialog.css @@ -203,12 +203,14 @@ button.theia-button.main { width: 100%; overflow: hidden; margin: 0px 3px 0px 3px; + border: 1px solid var(--theia-dropdown-border); } .arduino-boards-dropdown-list { border: 3px solid var(--theia-activityBar-background); - margin: -3px; + margin: -1px; z-index: 1; + border: 1px solid var(--theia-dropdown-border); } .arduino-boards-dropdown-item { @@ -218,6 +220,7 @@ button.theia-button.main { cursor: pointer; color: var(--theia-foreground); background: var(--theia-tab-unfocusedActiveBackground); + border: 1px solid var(--theia-tab-unfocusedActiveBackground); } .arduino-boards-dropdown-item .fa-check { @@ -227,5 +230,5 @@ button.theia-button.main { .arduino-boards-dropdown-item.selected, .arduino-boards-dropdown-item:hover { - background: var(--theia-list-hoverBackground); + border: 1px solid var(--theia-focusBorder); } diff --git a/arduino-ide-extension/src/browser/widgets/arduino-select.tsx b/arduino-ide-extension/src/browser/widgets/arduino-select.tsx index 61078ad5..bf778b35 100644 --- a/arduino-ide-extension/src/browser/widgets/arduino-select.tsx +++ b/arduino-ide-extension/src/browser/widgets/arduino-select.tsx @@ -51,6 +51,7 @@ export class ArduinoSelect extends Select { const DropdownIndicator = () => ; return