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

feat: implement menu action to reload current board data (#2553)

Browse Source
This commit is contained in:
Giacomo Cusinato
2024-11-21 08:41:26 +01:00
committed by GitHub
parent 7c231fff76
commit 41844c9470
5 changed files with 77 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
arduino-ide-extension/src/node/boards-service-impl.ts
View File

@@ -73,7 +73,11 @@ export class BoardsServiceImpl
async getBoardDetails(options: {
fqbn: string;
forceRefresh?: boolean;
}): Promise<BoardDetails | undefined> {
if (options.forceRefresh) {
await this.refresh();
}
const coreClient = await this.coreClient;
const { client, instance } = coreClient;
const { fqbn } = options;