diff --git a/arduino-ide-extension/src/browser/boards/boards-list-widget.ts b/arduino-ide-extension/src/browser/boards/boards-list-widget.ts index 4509a5ca..e5ded8d9 100644 --- a/arduino-ide-extension/src/browser/boards/boards-list-widget.ts +++ b/arduino-ide-extension/src/browser/boards/boards-list-widget.ts @@ -33,4 +33,9 @@ export class BoardsListWidget extends ListWidget { ]); } + async install({ item, version }: { item: BoardsPackage; version: string; }): Promise { + await super.install({ item, version }); + this.messageService.info(`Successfully installed platform ${item.name}:${version}.`, { timeout: 3000 }); + } + } diff --git a/arduino-ide-extension/src/browser/library/library-list-widget.ts b/arduino-ide-extension/src/browser/library/library-list-widget.ts index a713bb27..b9514b87 100644 --- a/arduino-ide-extension/src/browser/library/library-list-widget.ts +++ b/arduino-ide-extension/src/browser/library/library-list-widget.ts @@ -84,7 +84,8 @@ export class LibraryListWidget extends ListWidget { } if (typeof installDependencies === 'boolean') { - return this.service.install({ item, version, installDependencies }); + await this.service.install({ item, version, installDependencies }); + this.messageService.info(`Successfully installed library ${item.name}:${version}.`, { timeout: 3000 }); } }