Fix board options not shown for manually installed platforms

Author: silvanocerza

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

@@ -238,13 +238,11 @@ export class BoardsDataStore implements FrontendApplicationContribution {
     if (!fqbn) {
       return undefined;
     }
-    const boardsPackage = await this.boardsService.getContainerBoardPackage({
-      fqbn,
-    });
-    if (!boardsPackage) {
+    const boardDetails = await this.boardsService.getBoardDetails({ fqbn });
+    if (!boardDetails) {
       return undefined;
     }
-    return boardsPackage.installedVersion;
+    return boardDetails.version;
   }
 }
 

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

@@ -261,6 +261,7 @@ export namespace InstalledBoardWithPackage {
 
 export interface BoardDetails {
   readonly fqbn: string;
+  readonly version: string;
   readonly requiredTools: Tool[];
   readonly configOptions: ConfigOption[];
   readonly programmers: Programmer[];

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

@@ -45,8 +45,7 @@ import { InstallWithProgress } from './grpc-installable';
 @injectable()
 export class BoardsServiceImpl
   extends CoreClientAware
-  implements BoardsService
-{
+  implements BoardsService {
   @inject(ILogger)
   protected logger: ILogger;
 
@@ -178,8 +177,11 @@ export class BoardsServiceImpl
       PID = prop.get('pid') || '';
     }
 
+    // This is the platform version this board belongs to
+    const version = detailsResp.getVersion();
     return {
       fqbn,
+      version,
       requiredTools,
       configOptions,
       programmers,