From d6afddc8a0ae8d4a212ab4d48363d8fad07bdd33 Mon Sep 17 00:00:00 2001
From: Muhammad Zaheer <me@nmzaheer.in>
Date: Thu, 20 Oct 2022 19:56:34 +0530
Subject: [PATCH] Fix #1566 : Port submenu section heading show at top

---
 .../src/browser/contributions/board-selection.ts                | 2 +-
 1 file changed, 1 insertion(+), 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 0b468144d..fb3af4d5b 100644
--- 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(