jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-10-30 05:28:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

Toolbar enhancements (#1194)

Browse Source
This commit is contained in:
Francesco Spissu
2022-07-18 18:43:41 +02:00
committed by GitHub
parent d4833affc6
commit 5ff9ce0028
23 changed files with 139 additions and 103 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
arduino-ide-extension/src/browser/style/boards-config-dialog.css
View File

@@ -150,11 +150,11 @@ div#select-board-dialog .selectBoardContainer .body .list .item.selected i {
color: var(--theia-arduino-toolbar-dropdown-label);
display: flex;
gap: 10px;
height: 24px;
margin: 0 6px;
height: 28px;
margin: 0 4px;
overflow: hidden;
padding: 0 10px;
width: 230px;
width: 210px;
}
.arduino-boards-toolbar-item--protocol,