mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-11-16 21:59:28 +00:00
fix: update Examples and Include Library menu after ZIP install
Closes #659 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
This commit is contained in:
@@ -62,7 +62,9 @@ export interface NotificationServiceClient {
|
||||
notifyPlatformDidUninstall(event: { item: BoardsPackage }): void;
|
||||
|
||||
// Libraries
|
||||
notifyLibraryDidInstall(event: { item: LibraryPackage }): void;
|
||||
notifyLibraryDidInstall(event: {
|
||||
item: LibraryPackage | 'zip-install';
|
||||
}): void;
|
||||
notifyLibraryDidUninstall(event: { item: LibraryPackage }): void;
|
||||
|
||||
// Boards discovery
|
||||
|
||||
Reference in New Issue
Block a user