jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-14 20:59:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

chore: format resources 💄

Browse Source 
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
This commit is contained in:
Akos Kitta
2023-08-24 13:59:43 +02:00
committed by Akos Kitta
parent 5939b65511
commit 8a5dee9307
53 changed files with 1158 additions and 1003 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
arduino-ide-extension/src/browser/style/editor.css
View File

@@ -1,7 +1,9 @@
/* Show the dirty indicator on unclosable widgets. On hover, it should still show the dot instead of the X. */
/* https://github.com/arduino/arduino-pro-ide/issues/380 */
.p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable.a-mod-uncloseable.theia-mod-dirty > .p-TabBar-tabCloseIcon:before {
content: "\ea71";
.p-TabBar.theia-app-centers
.p-TabBar-tab.p-mod-closable.a-mod-uncloseable.theia-mod-dirty
> .p-TabBar-tabCloseIcon:before {
content: "\ea71";
}
.monaco-list-row.show-file-icons.focused {