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

IDE updater dialog colors fix (#1092)

Browse Source
This commit is contained in:
Francesco Spissu 2022-06-21 18:04:28 +02:00 committed by GitHub
parent bd6bc135fd
commit 083337de1c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -27,8 +27,9 @@
}
.ide-updater-dialog .changelog-container {
background: white;
border: 1px solid #dae3e3;
color: var(--theia-dropdown-foreground);
background-color: var(--theia-dropdown-background);
border: 1px solid var(--theia-tree-indentGuidesStroke);
border-radius: 2px;
font-size: 12px;
height: 180px;