From e00b6d96c8b626aa530e9833dcf74fa3b3b70a61 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 3 Feb 2020 17:10:55 +0100
Subject: [PATCH] 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).
---
 app/src/processing/app/Base.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
index e11546c10b8..5d8d73ca524 100644
--- 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,