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

Added save button and turned auto save on by default.

Browse Source 
Signed-off-by: jbicker <jan.bicker@typefox.io>
This commit is contained in:
jbicker
2019-06-21 13:11:16 +02:00
parent f4f7a9998e
commit 54d90d5413
5 changed files with 41 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -10,6 +10,20 @@
color: var(--theia-ui-font-color3);
}
#arduino-verify.arduino-tool-icon:hover,
#arduino-save-file.arduino-tool-icon:hover,
#arduino-show-open-context-menu.arduino-tool-icon:hover,
#arduino-upload.arduino-tool-icon:hover {
background-position-y: 45px;
}
#arduino-save-file {
background: url(../icons/buttons.svg);
background-size: 800%;
background-position-y: 21px;
background-position-x: 44px;
}
#arduino-verify {
background: url(../icons/buttons.svg);
background-size: 800%;
@@ -17,12 +31,6 @@
background-position-x: 141px;
}
#arduino-verify.arduino-tool-icon:hover,
#arduino-show-open-context-menu.arduino-tool-icon:hover,
#arduino-upload.arduino-tool-icon:hover {
background-position-y: 45px;
}
#arduino-upload {
background: url(../icons/buttons.svg);
background-size: 800%;