From 6af22ec9b89170e27b06abcf04257e0f68eee8d9 Mon Sep 17 00:00:00 2001
From: Akos Kitta <kittaakos@typefox.io>
Date: Thu, 5 Dec 2019 10:32:40 +0100
Subject: [PATCH] aligned select height with Theia styles

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
---
 .../src/browser/components/arduino-select.tsx                 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/arduino-ide-extension/src/browser/components/arduino-select.tsx b/arduino-ide-extension/src/browser/components/arduino-select.tsx
index fdba128b..1bac55f2 100644
--- a/arduino-ide-extension/src/browser/components/arduino-select.tsx
+++ b/arduino-ide-extension/src/browser/components/arduino-select.tsx
@@ -11,11 +11,11 @@ export class ArduinoSelect<T> extends Select<T> {
     }
 
     render(): React.ReactNode {
-        const height = 25;
+        const height = 27; // Seems to be the hard coded constant for `input` and `textArea` in Theia.
         const styles: Styles = {
             control: styles => ({
                 ...styles,
-                width: 200,
+                minWidth: 120,
                 color: 'var(--theia-ui-font-color1)'
             }),
             dropdownIndicator: styles => ({