jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-06 08:58:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

[ATL-1556] Sort board families in Tool menu (#486)

Browse Source 
* [ATL-1556] Sort board families in Tool menu
This commit is contained in:
Francesco Stasi
2021-08-26 15:25:37 +02:00
committed by GitHub
parent 0f82e91380
commit d3d6ba8176
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
arduino-ide-extension/src/browser/contributions/board-selection.ts
View File

@@ -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 };