jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-04 16:08:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

Dialog focus (#1472)

Browse Source 
* focus on dialog controls when is open

* fix "Configure and Upload" label

* fix focus on user fields
This commit is contained in:
Alberto Iannaccone
2022-09-29 15:16:28 +02:00
committed by GitHub
parent d6cb23f782
commit 6f07717369
8 changed files with 22 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
arduino-ide-extension/src/browser/boards/boards-service-provider.ts
View File

@@ -600,7 +600,7 @@ export class BoardsServiceProvider
boardsConfig.selectedBoard &&
availableBoards.every(({ selected }) => !selected)
) {
let port = boardsConfig.selectedPort
let port = boardsConfig.selectedPort;
// If the selected board has the same port of an unknown board
// that is already in availableBoards we might get a duplicate port.
// So we remove the one already in the array and add the selected one.
@@ -611,7 +611,7 @@ export class BoardsServiceProvider
// get the "Unknown board port" that we will substitute,
// then we can include it in the "availableBoard object"
// pushed below; to ensure addressLabel is included
port = availableBoards[found].port
port = availableBoards[found].port;
availableBoards.splice(found, 1);
}
availableBoards.push({