From c81ee1ede239f3f5066affe41a99252d4533b3b7 Mon Sep 17 00:00:00 2001
From: jbicker <jan.bicker@typefox.io>
Date: Thu, 15 Aug 2019 16:46:54 +0200
Subject: [PATCH] Arduino Toolbar Tooltips don't get clipped anymore.

Signed-off-by: jbicker <jan.bicker@typefox.io>
---
 arduino-ide-extension/src/browser/style/main.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css
index 59a254b5..134a2857 100644
--- a/arduino-ide-extension/src/browser/style/main.css
+++ b/arduino-ide-extension/src/browser/style/main.css
@@ -77,6 +77,11 @@
 
 #theia-top-panel .p-TabBar-toolbar.theia-arduino-toolbar.right {
     justify-content: flex-start;
+    min-width: 190px;
+}
+
+#theia-top-panel .p-TabBar-toolbar.theia-arduino-toolbar.left {
+    min-width: 398px;
 }
 
 .arduino-tool-item.item.connected-boards {