mirror of
https://github.com/arduino/Arduino.git
synced 2024-11-28 09:24:14 +01:00
Added 'deprecated' label
This commit is contained in:
parent
24556e7bf2
commit
12cb3f0dc9
@ -232,6 +232,9 @@ public class ContributedPlatformTableCellJPanel extends JPanel {
|
||||
+ format(tr("version <b>{0}</b>"), installed.getParsedVersion())
|
||||
+ " <strong><font color=\"#00979D\">INSTALLED</font></strong>";
|
||||
}
|
||||
if (releases.isDeprecated()) {
|
||||
desc += " <strong><font color=\"#C03030\">DEPRECATED</font></strong>";
|
||||
}
|
||||
desc += "<br />";
|
||||
|
||||
desc += tr("Boards included in this package:") + "<br />";
|
||||
|
Loading…
Reference in New Issue
Block a user