Sort board submenus alphabetically

matthijskooijman · cmaglie · commit 55fa3f542fc1 · 2020-03-25T12:50:41.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
@@ -1510,6 +1510,8 @@ public void actionPerformed(ActionEvent actionevent) {
       }
     }
 
+    platformMenus.sort((x,y) -> x.getText().compareToIgnoreCase(y.getText()));
+
     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
`@@ -1510,6 +1510,8 @@ public void actionPerformed(ActionEvent actionevent) {`
`1510`	`1510`	`}`
`1511`	`1511`	`}`
`1512`	`1512`
	`1513`	`+ platformMenus.sort((x,y) -> x.getText().compareToIgnoreCase(y.getText()));`
	`1514`	`+`
`1513`	`1515`	`JMenuItem firstBoardItem = null;`
`1514`	`1516`	`if (platformMenus.size() == 1) {`
`1515`	`1517`	`// When just one platform exists, add the board items directly,`