feat: reload board data menu action

Author: giacomocusinato

arduino-ide-extension/src/browser/boards/boards-data-store.ts

@@ -222,6 +222,20 @@ export class BoardsDataStore
     return data;
   }
 
+  async reloadBoardData(fqbn: string | undefined): Promise<void> {
+    if (!fqbn) {
+      return;
+    }
+    const key = this.getStorageKey(fqbn);
+    const details = await this.loadBoardDetails(fqbn, true);
+    if (!details) {
+      return;
+    }
+    const data = createDataStoreEntry(details);
+    await this.storageService.setData(key, data);
+    this.fireChanged({ fqbn, data });
+  }
+
   async selectProgrammer({
     fqbn,
     selectedProgrammer,
@@ -299,9 +313,15 @@ export class BoardsDataStore
     return `.arduinoIDE-configOptions-${fqbn}`;
   }
 
-  async loadBoardDetails(fqbn: string): Promise<BoardDetails | undefined> {
+  async loadBoardDetails(
+    fqbn: string,
+    forceRefresh = false
+  ): Promise<BoardDetails | undefined> {
     try {
-      const details = await this.boardsService.getBoardDetails({ fqbn });
+      const details = await this.boardsService.getBoardDetails({
+        fqbn,
+        forceRefresh,
+      });
       return details;
     } catch (err) {
       if (

arduino-ide-extension/src/browser/contributions/board-selection.ts

@@ -20,6 +20,7 @@ import {
 } from '../../common/protocol';
 import type { BoardList } from '../../common/protocol/board-list';
 import { BoardsListWidget } from '../boards/boards-list-widget';
+import { BoardsDataStore } from '../boards/boards-data-store';
 import { BoardsServiceProvider } from '../boards/boards-service-provider';
 import {
   ArduinoMenus,
@@ -39,6 +40,8 @@ export class BoardSelection extends SketchContribution {
   private readonly menuModelRegistry: MenuModelRegistry;
   @inject(NotificationCenter)
   private readonly notificationCenter: NotificationCenter;
+  @inject(BoardsDataStore)
+  private readonly boardsDataStore: BoardsDataStore;
   @inject(BoardsService)
   private readonly boardsService: BoardsService;
   @inject(BoardsServiceProvider)
@@ -74,6 +77,14 @@ SN: ${SN}
         });
       },
     });
+
+    registry.registerCommand(BoardSelection.Commands.RELOAD_BOARD_DATA, {
+      execute: async () => {
+        await this.boardsDataStore.reloadBoardData(
+          this.boardsServiceProvider.boardList.boardsConfig.selectedBoard?.fqbn
+        );
+        // TODO: show a notification
+    });
   }
 
   override onStart(): void {
@@ -151,6 +162,21 @@ SN: ${SN}
       )
     );
 
+    const reloadBoardData = {
+      commandId: BoardSelection.Commands.RELOAD_BOARD_DATA.id,
+      label: nls.localize('arduino/board/reloadBoardData', 'Reload board data'),
+      order: '102',
+    };
+    this.menuModelRegistry.registerMenuAction(
+      ArduinoMenus.TOOLS__BOARD_SELECTION_GROUP,
+      reloadBoardData
+    );
+    this.toDisposeBeforeMenuRebuild.push(
+      Disposable.create(() =>
+        this.menuModelRegistry.unregisterMenuAction(reloadBoardData)
+      )
+    );
+
     const getBoardInfo = {
       commandId: BoardSelection.Commands.GET_BOARD_INFO.id,
       label: nls.localize('arduino/board/getBoardInfo', 'Get Board Info'),
@@ -361,5 +387,8 @@ SN: ${SN}
 export namespace BoardSelection {
   export namespace Commands {
     export const GET_BOARD_INFO: Command = { id: 'arduino-get-board-info' };
+    export const RELOAD_BOARD_DATA: Command = {
+      id: 'arduino-reload-board-data',
+    };
   }
 }

arduino-ide-extension/src/browser/contributions/boards-data-menu-updater.ts

@@ -35,11 +35,11 @@ export class BoardsDataMenuUpdater extends Contribution {
   private readonly toDisposeOnBoardChange = new DisposableCollection();
 
   override onStart(): void {
-    this.boardsDataStore.onDidChange(() =>
+    this.boardsDataStore.onDidChange(() => {
       this.updateMenuActions(
         this.boardsServiceProvider.boardsConfig.selectedBoard
-      )
-    );
+      );
+    });
     this.boardsServiceProvider.onBoardsConfigDidChange((event) => {
       if (isBoardIdentifierChangeEvent(event)) {
         this.updateMenuActions(event.selectedBoard);
@@ -48,11 +48,11 @@ export class BoardsDataMenuUpdater extends Contribution {
   }
 
   override onReady(): void {
-    this.boardsServiceProvider.ready.then(() =>
+    this.boardsServiceProvider.ready.then(() => {
       this.updateMenuActions(
         this.boardsServiceProvider.boardsConfig.selectedBoard
-      )
-    );
+      );
+    });
   }
 
   private async updateMenuActions(

arduino-ide-extension/src/common/protocol/boards-service.ts

@@ -67,7 +67,10 @@ export interface BoardsService
     skipPostInstall?: boolean;
   }): Promise<void>;
   getDetectedPorts(): Promise<DetectedPorts>;
-  getBoardDetails(options: { fqbn: string }): Promise<BoardDetails | undefined>;
+  getBoardDetails(options: {
+    fqbn: string;
+    forceRefresh?: boolean;
+  }): Promise<BoardDetails | undefined>;
   getBoardPackage(options: {
     id: string /* TODO: change to PlatformIdentifier type? */;
   }): Promise<BoardsPackage | undefined>;

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

@@ -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;