From 1e269ac83dd5437229677a6ea5d1f65e95727eeb Mon Sep 17 00:00:00 2001 From: r3inbowari Date: Fri, 7 Oct 2022 16:43:45 +0800 Subject: [PATCH] Fix status bar clipped in minimal state (#1517) --- arduino-ide-extension/src/browser/style/index.css | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/arduino-ide-extension/src/browser/style/index.css b/arduino-ide-extension/src/browser/style/index.css index a308deebc..7fb70f166 100644 --- a/arduino-ide-extension/src/browser/style/index.css +++ b/arduino-ide-extension/src/browser/style/index.css @@ -55,7 +55,8 @@ /* Makes the sidepanel a bit wider when opening the widget */ .p-DockPanel-widget { min-width: 200px; - min-height: 200px; + min-height: 20px; + height: 200px; } /* Overrule the default Theia CSS button styles. */