From cecc61c7eb9660f05e93f88d722dd76991343c9c Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Mon, 10 May 2021 09:37:07 +0200
Subject: [PATCH] Propagate deprecated flag in ContributedPlatformReleases

---
 .../packages/ui/ContributedPlatformReleases.java       | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/app/src/cc/arduino/contributions/packages/ui/ContributedPlatformReleases.java b/app/src/cc/arduino/contributions/packages/ui/ContributedPlatformReleases.java
index 3545b1ff4..fc516512d 100644
--- a/app/src/cc/arduino/contributions/packages/ui/ContributedPlatformReleases.java
+++ b/app/src/cc/arduino/contributions/packages/ui/ContributedPlatformReleases.java
@@ -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) {