Sort board submenus alphabetically

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).
arduino · Feb 3, 2020 · e00b6d9 · e00b6d9
1 parent f1cb18b
commit e00b6d9
Showing 1 changed file with 2 additions and 0 deletions.
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,