mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-31 20:52:13 +01:00
Propagate deprecated flag in ContributedPlatformReleases
This commit is contained in:
parent
bf2f90dfff
commit
cecc61c7eb
@ -44,12 +44,14 @@ public class ContributedPlatformReleases {
|
||||
public final List<ContributedPlatform> releases;
|
||||
public final List<String> versions;
|
||||
public ContributedPlatform selected = null;
|
||||
public boolean deprecated;
|
||||
|
||||
public ContributedPlatformReleases(ContributedPlatform platform) {
|
||||
packager = platform.getParentPackage();
|
||||
arch = platform.getArchitecture();
|
||||
releases = new LinkedList<>();
|
||||
versions = new LinkedList<>();
|
||||
deprecated = platform.isDeprecated();
|
||||
add(platform);
|
||||
}
|
||||
|
||||
@ -65,7 +67,9 @@ public class ContributedPlatformReleases {
|
||||
if (version != null) {
|
||||
versions.add(version);
|
||||
}
|
||||
selected = getLatest();
|
||||
ContributedPlatform latest = getLatest();
|
||||
selected = latest;
|
||||
deprecated = latest.isDeprecated();
|
||||
}
|
||||
|
||||
public ContributedPlatform getInstalled() {
|
||||
@ -89,6 +93,10 @@ public class ContributedPlatformReleases {
|
||||
return selected;
|
||||
}
|
||||
|
||||
public boolean isDeprecated() {
|
||||
return deprecated;
|
||||
}
|
||||
|
||||
public void select(ContributedPlatform value) {
|
||||
for (ContributedPlatform plat : releases) {
|
||||
if (plat == value) {
|
||||
|
Loading…
x
Reference in New Issue
Block a user