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

Implemented custom dropdown for board selection

Browse Source 
Signed-off-by: jbicker <jan.bicker@typefox.io>
This commit is contained in:
jbicker
2019-07-19 17:44:27 +02:00
parent c2fbccc9e8
commit 4d2bd87f74
5 changed files with 232 additions and 97 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -61,21 +61,6 @@
opacity: 1;
}
.arduino-boards-toolbar-item-container {
display: flex;
align-items: center;
}
.arduino-boards-toolbar-item .label {
height: 100%;
display: flex;
align-items: center;
}
.arduino-boards-toolbar-item {
background: white;
}
.arduino-tool-item.item.connected-boards select {
line-height: var(--theia-content-line-height);
font-size: var(--theia-ui-font-size1);
@@ -104,4 +89,10 @@
.monaco-editor .margin {
border-right: 2px solid var(--theia-border-color1);
box-sizing: border-box;
}
.noWrapInfo {
white-space: nowrap;
overflow: hidden;
text-overflow: ellipsis;
}