Fix bug selecting board in boards selector dropdown

silvanocerza · fstasi · commit 2b09c98090f6 · 2021-11-23T17:36:45.000+01:00
diff --git a/arduino-ide-extension/src/browser/boards/boards-service-provider.ts b/arduino-ide-extension/src/browser/boards/boards-service-provider.ts
@@ -472,7 +472,7 @@ export class BoardsServiceProvider implements FrontendApplicationContribution {
     let hasChanged = availableBoards.length !== currentAvailableBoards.length;
     for (let i = 0; !hasChanged && i < availableBoards.length; i++) {
       const [left, right] = [availableBoards[i], currentAvailableBoards[i]];
-      hasChanged = !!AvailableBoard.compare(left, right);
+      hasChanged = !!AvailableBoard.compare(left, right) || left.selected !== right.selected;
     }
     if (hasChanged) {
       this._availableBoards = availableBoards;

Original file line number	Diff line number	Diff line change
`@@ -472,7 +472,7 @@ export class BoardsServiceProvider implements FrontendApplicationContribution {`
`472`	`472`	`let hasChanged = availableBoards.length !== currentAvailableBoards.length;`
`473`	`473`	`for (let i = 0; !hasChanged && i < availableBoards.length; i++) {`
`474`	`474`	`const [left, right] = [availableBoards[i], currentAvailableBoards[i]];`
`475`		`- hasChanged = !!AvailableBoard.compare(left, right);`
	`475`	`+ hasChanged = !!AvailableBoard.compare(left, right) \|\| left.selected !== right.selected;`
`476`	`476`	`}`
`477`	`477`	`if (hasChanged) {`
`478`	`478`	`this._availableBoards = availableBoards;`