From a866bde4d1c6ae735dcd14bf448eef8541a1bcc1 Mon Sep 17 00:00:00 2001
From: Akos Kitta <kittaakos@typefox.io>
Date: Wed, 4 Dec 2019 23:08:33 +0100
Subject: [PATCH] fixed background style when holding down select

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
---
 .../src/browser/monitor/monitor-widget.tsx           | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/arduino-ide-extension/src/browser/monitor/monitor-widget.tsx b/arduino-ide-extension/src/browser/monitor/monitor-widget.tsx
index 87d7149b..a3c0ba6c 100644
--- a/arduino-ide-extension/src/browser/monitor/monitor-widget.tsx
+++ b/arduino-ide-extension/src/browser/monitor/monitor-widget.tsx
@@ -190,13 +190,15 @@ export class MonitorWidget extends ReactWidget {
                 controlHeight: height,
                 baseUnit: 2,
                 menuGutter: 4
+            }, colors: {
+                ...theme.colors,
+                // `primary50`??? it's crazy but apparently, without this, we would get a light-blueish
+                // color when selecting an option in the select by clicking and then not releasing the button.
+                // https://react-select.com/styles#overriding-the-theme
+                primary50: 'var(--theia-accent-color4)',
             }
         });
-        const DropdownIndicator = () => {
-            return (
-                <span className='fa fa-caret-down caret'></span>
-            );
-        };
+        const DropdownIndicator = () => <span className='fa fa-caret-down caret' />;
         return <Select
             options={options}
             defaultValue={defaultValue}