From 9c961f72bc68810009af516c1cd557b09f6f0842 Mon Sep 17 00:00:00 2001 From: r3inbowari Date: Tue, 4 Oct 2022 08:17:53 +0800 Subject: [PATCH] Fix status bar clipped in minimal state --- 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. */