From 9b48e8d0475d11ea2bb2c883a00ad629207d6d09 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 130dc8895..0ada91f15 100644
--- a/app/src/processing/app/Base.java
+++ b/app/src/processing/app/Base.java
@@ -1510,6 +1510,8 @@ public class Base {
       }
     }
 
+    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,