From f6f5a0eb9a7fc7c28f573b634dd6f95fc8edbcbf Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Tue, 1 Oct 2019 16:04:26 +0200
Subject: [PATCH] fixup! Do not use a boards submenu with just one platform

---
 app/src/processing/app/Base.java | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
index ea3202e13da..6804cdb52c9 100644
--- 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