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

Fix #1566 : Port submenu section heading show at top

Browse Source
This commit is contained in:
Muhammad Zaheer 2022-10-20 19:56:34 +05:30 committed by Akos Kitta
parent b8bf1eefa2
commit 5424dfcf70
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -276,7 +276,7 @@ PID: ${PID}`;
'{0} ports',
Port.Protocols.protocolLabel(protocol)
),
{ order: protocolOrder.toString() }
{ order: protocolOrder.toString().padStart(4) }
);
this.menuModelRegistry.registerMenuNode(menuPath, placeholder);
this.toDisposeBeforeMenuRebuild.push(