From c20f832ddf0e83d113b087089fced740c7cba56e Mon Sep 17 00:00:00 2001
From: Akos Kitta <kittaakos@typefox.io>
Date: Wed, 7 Apr 2021 12:19:34 +0200
Subject: [PATCH] Notify user if platform/lib install was successful

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
---
 .../src/browser/boards/boards-list-widget.ts                 | 5 +++++
 .../src/browser/library/library-list-widget.ts               | 3 ++-
 2 files changed, 7 insertions(+), 1 deletion(-)

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<BoardsPackage> {
         ]);
     }
 
+    async install({ item, version }: { item: BoardsPackage; version: string; }): Promise<void> {
+        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<LibraryPackage> {
         }
 
         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 });
         }
     }