fixup! Separate the boards menu per platform

matthijskooijman · matthijskooijman · commit b31cbd7d4459 · 2019-09-23T12:44:09.000+02:00
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

Original file line number	Diff line number	Diff line change
`@@ -1470,9 +1470,7 @@ public void actionPerformed(ActionEvent actionevent) {`
`1470`	`1470`
`1471`	`1471`	`int platformCount = 0;`
`1472`	`1472`	`for (TargetPackage targetPackage : BaseNoGui.packages.values()) {`
`1473`		`- for (TargetPlatform targetPlatform : targetPackage.platforms()) {`
`1474`		`- ++platformCount;`
`1475`		`- }`
	`1473`	`+ platformCount += targetPackage.platforms().size();`
`1476`	`1474`	`}`
`1477`	`1475`
`1478`	`1476`	`// Cycle through all packages`