From ef2be1c086880e2218291dde2aa770c4d548e28a Mon Sep 17 00:00:00 2001
From: Silvano Cerza <silvanocerza@gmail.com>
Date: Mon, 31 Jan 2022 16:38:38 +0100
Subject: [PATCH] Small code fix

---
 .../src/browser/contributions/board-selection.ts               | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/arduino-ide-extension/src/browser/contributions/board-selection.ts b/arduino-ide-extension/src/browser/contributions/board-selection.ts
index dc682481..f8bf63ae 100644
--- a/arduino-ide-extension/src/browser/contributions/board-selection.ts
+++ b/arduino-ide-extension/src/browser/contributions/board-selection.ts
@@ -278,8 +278,7 @@ PID: ${PID}`;
 
       // First we show addresses with recognized boards connected,
       // then all the rest.
-      const sortedIDs = Object.keys(ports);
-      sortedIDs.sort((left: string, right: string): number => {
+      const sortedIDs = Object.keys(ports).sort((left: string, right: string): number => {
         const [, leftBoards] = ports[left];
         const [, rightBoards] = ports[right];
         return rightBoards.length - leftBoards.length;