jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-10-15 22:38:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix board selector synchronization (#1214)

Browse Source 
* prevent deselecting a board from the board selctor

* orrectly update board selector when baord config changes
This commit is contained in:
Alberto Iannaccone
2022-07-19 14:25:23 +02:00
committed by GitHub
parent 1f7c2eb52c
commit 8610332afc
3 changed files with 26 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-ide-extension/src/browser/contributions/open-boards-config.ts
View File

@@ -17,7 +17,7 @@ export class OpenBoardsConfig extends Contribution {
execute: async (query?: string | undefined) => {
const boardsConfig = await this.boardsConfigDialog.open(query);
if (boardsConfig) {
this.boardsServiceProvider.boardsConfig = boardsConfig;
return (this.boardsServiceProvider.boardsConfig = boardsConfig);
}
},
});