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

Fix selection in list

Browse Source
This commit is contained in:
Christian Weichel
2019-05-09 08:05:43 +02:00
parent a974b90536
commit 5077d95999
2 changed files with 1 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -13,14 +13,13 @@
}
.filterable-list-container {
padding: 0 10px 0 15px;
display: flex;
flex-direction: column;
align-items: stretch;
}
.component-list-item {
padding: 10px 0 10px 0;
padding: 10px 10px 10px 15px;
font-size: var(--theia-ui-font-size1);
}