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

Implemented the board discovery with polling.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2019-07-26 08:12:34 +02:00
parent db78c8ac2d
commit b78ddbeb64
23 changed files with 855 additions and 874 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -8,6 +8,7 @@
#outputView {
color: var(--theia-ui-font-color3);
cursor: text;
}
#arduino-verify.arduino-tool-icon:hover,