fixup! Do not use a boards submenu with just one platform

arduino · Oct 1, 2019 · f6f5a0e · f6f5a0e
1 parent c6094c0
commit f6f5a0e
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
@@ -1470,9 +1470,7 @@ public void actionPerformed(ActionEvent actionevent) {
 
     int platformCount = 0;
     for (TargetPackage targetPackage : BaseNoGui.packages.values()) {
-      for (TargetPlatform targetPlatform : targetPackage.platforms()) {
-        ++platformCount;
-      }
+      platformCount += targetPackage.platforms().size();
     }
 
     // Cycle through all packages