jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-07-12 22:06:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix status bar clipped in minimal state (#1517)

Browse Source
This commit is contained in:
r3inbowari 2022-10-07 16:43:45 +08:00 committed by GitHub
parent 0c49709f26
commit 1e269ac83d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
arduino-ide-extension/src/browser/style/index.css
View File

@ -55,7 +55,8 @@
/* Makes the sidepanel a bit wider when opening the widget */ /* Makes the sidepanel a bit wider when opening the widget */
.p-DockPanel-widget { .p-DockPanel-widget {
min-width: 200px; min-width: 200px;
min-height: 200px; min-height: 20px;
height: 200px;
} }
/* Overrule the default Theia CSS button styles. */ /* Overrule the default Theia CSS button styles. */