1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-10 04:54:21 +01:00

4 Commits

Author SHA1 Message Date
Federico Fissore
a43757d5c3 Update notification: UX feedback 2015-08-06 10:27:51 +02:00
Federico Fissore
0bb7fd7e8b Cancelling ContributionsSelfCheck will prevent indexes from being updated.
Opening boards/libs manager when NotificationPopup is shown will close it
2015-08-06 10:27:51 +02:00
Federico Fissore
dc93bb93d0 ProgressListener is now a method arg (was an instance arg) 2015-08-06 10:27:51 +02:00
Federico Fissore
f9612bcdbd Updatable boards support and libraries notification 2015-08-06 10:27:51 +02:00