Use port addressLabel for Tools > Port.

Signed-off-by: Akos Kitta <[email protected]>
arduino · Aug 24, 2022 · 60933cf · 60933cf
1 parent 6cae53b
commit 60933cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/arduino-ide-extension/src/browser/contributions/board-selection.ts b/arduino-ide-extension/src/browser/contributions/board-selection.ts
@@ -288,7 +288,7 @@ PID: ${PID}`;
       for (let i = 0; i < sortedIDs.length; i++) {
         const portID = sortedIDs[i];
         const [port, boards] = ports[portID];
-        let label = `${port.address}`;
+        let label = `${port.addressLabel}`;
         if (boards.length) {
           const boardsList = boards.map((board) => board.name).join(', ');
           label = `${label} (${boardsList})`;