jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-12 11:49:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
1d98e79d7b4f524d78ada4673ad1c4d231b66b4f
arduino-ide/arduino-ide-extension/src/node/boards-service-impl.ts
Akos Kitta 2f33038695 No disconnect/reconnect when DNDing the widget. 
- Updated to next Theia,
 - Added elecron launch config,
 - Yet another syling for the input + selects,
 - Close monitor connection on widget close not detach.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
2019-12-10 12:02:28 +01:00

16 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink