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

8 Commits

Author SHA1 Message Date
Cristian Maglie
57c6d096f6 Notification pop-up is now correctly scaled 2016-01-26 16:48:14 +01:00
Federico Fissore
6855e91883 Fixed various Board/Library managers glitches, in particular when removing/upgrading 2015-11-24 16:14:16 +01:00
Federico Fissore
e45f07d507 Added missing license headers 2015-08-13 11:33:35 +02:00
Federico Fissore
5b0ad4fada Switched to I18N.tr method (_ is deprecated) 2015-08-06 10:27:51 +02:00
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