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

Arduino Toolbar Tooltips don't get clipped anymore.

Browse Source 
Signed-off-by: jbicker <jan.bicker@typefox.io>
This commit is contained in:
jbicker 2019-08-15 16:46:54 +02:00
parent 6d2816a7f3
commit c81ee1ede2
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
arduino-ide-extension/src/browser/style/main.css
View File

@ -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 {