From d3d6ba81760f95144c27969fcbf752821ab3ed6a Mon Sep 17 00:00:00 2001
From: Francesco Stasi <francescomaria.stasi@gmail.com>
Date: Thu, 26 Aug 2021 15:25:37 +0200
Subject: [PATCH] [ATL-1556] Sort board families in Tool menu (#486)

* [ATL-1556] Sort board families in Tool menu
---
 .../src/browser/contributions/board-selection.ts              | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/arduino-ide-extension/src/browser/contributions/board-selection.ts b/arduino-ide-extension/src/browser/contributions/board-selection.ts
index d3519a9b..bb92ba2a 100644
--- a/arduino-ide-extension/src/browser/contributions/board-selection.ts
+++ b/arduino-ide-extension/src/browser/contributions/board-selection.ts
@@ -185,7 +185,9 @@ PID: ${PID}`;
       // Platform submenu
       const platformMenuPath = [...boardsPackagesGroup, packageId];
       // Note: Registering the same submenu twice is a noop. No need to group the boards per platform.
-      this.menuModelRegistry.registerSubmenu(platformMenuPath, packageLabel);
+      this.menuModelRegistry.registerSubmenu(platformMenuPath, packageLabel, {
+        order: packageName.toLowerCase(),
+      });
 
       const id = `arduino-select-board--${fqbn}`;
       const command = { id };