githubvirgin123
diff --git a/‎arduino-ide-extension/src/browser/notification-center.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/browser/notification-center.ts
+4-2Lines changed: 4 additions & 2 deletions b/‎arduino-ide-extension/src/browser/notification-center.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/browser/notification-center.ts
+4-2Lines changed: 4 additions & 2 deletions
diff --git a/‎arduino-ide-extension/src/common/protocol/notification-service.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/common/protocol/notification-service.ts
+3-1Lines changed: 3 additions & 1 deletion b/‎arduino-ide-extension/src/common/protocol/notification-service.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/common/protocol/notification-service.ts
+3-1Lines changed: 3 additions & 1 deletion
diff --git a/‎arduino-ide-extension/src/node/library-service-impl.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/node/library-service-impl.ts
+19-15Lines changed: 19 additions & 15 deletions b/‎arduino-ide-extension/src/node/library-service-impl.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/node/library-service-impl.ts
+19-15Lines changed: 19 additions & 15 deletions
diff --git a/‎arduino-ide-extension/src/node/notification-service-server.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/node/notification-service-server.ts
+3-1Lines changed: 3 additions & 1 deletion b/‎arduino-ide-extension/src/node/notification-service-server.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/node/notification-service-server.ts
+3-1Lines changed: 3 additions & 1 deletion
@@ -56,7 +56,7 @@ export class NotificationCenter
     item: BoardsPackage;
   }>();
   private readonly libraryDidInstallEmitter = new Emitter<{
-    item: LibraryPackage;
+    item: LibraryPackage | 'zip-install';
   }>();
   private readonly libraryDidUninstallEmitter = new Emitter<{
     item: LibraryPackage;
@@ -156,7 +156,9 @@ export class NotificationCenter
     this.platformDidUninstallEmitter.fire(event);
   }
 
-  notifyLibraryDidInstall(event: { item: LibraryPackage }): void {
+  notifyLibraryDidInstall(event: {
+    item: LibraryPackage | 'zip-install';
+  }): void {
     this.libraryDidInstallEmitter.fire(event);
   }
 
 
@@ -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
 
@@ -373,22 +373,26 @@ export class LibraryServiceImpl
 
     // stop the board discovery
     await this.boardDiscovery.stop();
-
-    const resp = client.zipLibraryInstall(req);
-    resp.on(
-      'data',
-      ExecuteWithProgress.createDataCallback({
-        progressId,
-        responseService: this.responseService,
-      })
-    );
-    await new Promise<void>((resolve, reject) => {
-      resp.on('end', () => {
-        this.boardDiscovery.start(); // TODO: remove discovery dependency from boards service. See https://github.com/arduino/arduino-ide/pull/1107 why this is here.
-        resolve();
+    try {
+      const resp = client.zipLibraryInstall(req);
+      resp.on(
+        'data',
+        ExecuteWithProgress.createDataCallback({
+          progressId,
+          responseService: this.responseService,
+        })
+      );
+      await new Promise<void>((resolve, reject) => {
+        resp.on('end', resolve);
+        resp.on('error', reject);
       });
-      resp.on('error', reject);
-    });
+      await this.refresh(); // let the CLI re-scan the libraries
+      this.notificationServer.notifyLibraryDidInstall({
+        item: 'zip-install',
+      });
+    } finally {
+      this.boardDiscovery.start(); // TODO: remove discovery dependency from boards service. See https://github.com/arduino/arduino-ide/pull/1107 why this is here.
+    }
   }
 
   async uninstall(options: {
 
@@ -59,7 +59,9 @@ export class NotificationServiceServerImpl
     this.clients.forEach((client) => client.notifyPlatformDidUninstall(event));
   }
 
-  notifyLibraryDidInstall(event: { item: LibraryPackage }): void {
+  notifyLibraryDidInstall(event: {
+    item: LibraryPackage | 'zip-install';
+  }): void {
     this.clients.forEach((client) => client.notifyLibraryDidInstall(event));
   }
Original file line number	Diff line number	Diff line change
`@@ -59,7 +59,9 @@ export class NotificationServiceServerImpl`
`59`	`59`	`this.clients.forEach((client) => client.notifyPlatformDidUninstall(event));`
`60`	`60`	`}`
`61`	`61`
`62`		`- notifyLibraryDidInstall(event: { item: LibraryPackage }): void {`
	`62`	`+ notifyLibraryDidInstall(event: {`
	`63`	`+ item: LibraryPackage \| 'zip-install';`
	`64`	`+ }): void {`
`63`	`65`	`this.clients.forEach((client) => client.notifyLibraryDidInstall(event));`
`64`	`66`	`}`
`65`	`67`