Fix #1566 : Port submenu section heading show at top

nmzaheer · kittaakos · commit 5424dfcf70ff · 2022-10-21T09:04:07.000+02:00
diff --git a/arduino-ide-extension/src/browser/contributions/board-selection.ts b/arduino-ide-extension/src/browser/contributions/board-selection.ts
@@ -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(
