Sort board submenus alphabetically

matthijskooijman · matthijskooijman · commit e00b6d96c8b6 · 2020-02-03T17:12:59.000+01:00
This sorts the board submenus themselves, based on the displayed name.
This does not change the ordering of board items within these submenus
(which uses the order from boards.txt).
diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
@@ -1497,6 +1497,8 @@ public void actionPerformed(ActionEvent actionevent) {
       }
     }
 
+    Collections.sort(platformMenus, new JMenuItemTextComparator());
+
     JMenuItem firstBoardItem = null;
     if (platformMenus.size() == 1) {
       // When just one platform exists, add the board items directly,

Original file line number	Diff line number	Diff line change
`@@ -1497,6 +1497,8 @@ public void actionPerformed(ActionEvent actionevent) {`
`1497`	`1497`	`}`
`1498`	`1498`	`}`
`1499`	`1499`
	`1500`	`+ Collections.sort(platformMenus, new JMenuItemTextComparator());`
	`1501`	`+`
`1500`	`1502`	`JMenuItem firstBoardItem = null;`
`1501`	`1503`	`if (platformMenus.size() == 1) {`
`1502`	`1504`	`// When just one platform exists, add the board items directly,`