fix: better naming

Author: Akos Kitta

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

@@ -205,7 +205,7 @@ export class BoardsServiceProvider
       .finally(() => this._ready.resolve());
   }
 
-  private async maybeUpdateSelectedBoard(event: {
+  private async maybeUpdateSelectedBoard(platformDidInstallEvent: {
     item: BoardsPackage;
   }): Promise<void> {
     const { selectedBoard } = this._boardsConfig;
@@ -217,8 +217,8 @@ export class BoardsServiceProvider
       const selectedBoardPlatformId = serializePlatformIdentifier(
         selectedBoard.packageId
       );
-      if (selectedBoardPlatformId === event.item.id) {
-        const installedSelectedBoard = event.item.boards.find(
+      if (selectedBoardPlatformId === platformDidInstallEvent.item.id) {
+        const installedSelectedBoard = platformDidInstallEvent.item.boards.find(
           (board) => board.name === selectedBoard.name
         );
         // if the board can be found by its name after the install event select it. otherwise unselect it
@@ -231,7 +231,7 @@ export class BoardsServiceProvider
               'arduino/board/couldNotFindPreviouslySelected',
               "Could not find previously selected board '{0}' in installed platform '{1}'. Please manually reselect the board you want to use. Do you want to reselect it now?",
               selectedBoard.name,
-              event.item.name
+              platformDidInstallEvent.item.name
             ),
             nls.localize('arduino/board/reselectLater', 'Reselect later'),
             yes