jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-09 18:38:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

New Board Selector UI: show port protocol (#1193)

Browse Source 
* add new icons

* implement new Board Selector design

* make board selector item focusable

* fix i18n

* 💄

* re-add debug log on board config changed

* Updated themes

* use new color variables

* update arduino-icons.json

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
This commit is contained in:
Alberto Iannaccone
2022-07-15 18:04:18 +02:00
committed by GitHub
parent 73835eced3
commit 4f27725b35
16 changed files with 333 additions and 207 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -102,10 +102,10 @@
#arduino-toolbar-container {
display: flex;
width: 100%;
justify-content: space-between;
}
.p-TabBar-toolbar.theia-arduino-toolbar {
flex: 1;
z-index: 0;
}
@@ -119,7 +119,7 @@
#theia-top-panel .p-TabBar-toolbar.theia-arduino-toolbar.right {
justify-content: flex-start;
min-width: 190px;
min-width: 100px;
}
#theia-top-panel .p-TabBar-toolbar.theia-arduino-toolbar.left {