jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-11 19:29:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Notify user if platform/lib install was successful

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2021-04-07 12:19:34 +02:00
committed by Akos Kitta
parent cb2ef78c0a
commit c20f832ddf
2 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
arduino-ide-extension/src/browser/library/library-list-widget.ts
View File

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