From df643961cd4933a44d9e70fb03dbe0a65f694c71 Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Tue, 30 Jul 2024 08:55:17 +0200
Subject: [PATCH] fix: [lean4web] dispose webviewPanel in InfoProvider.dispose

---
 vscode-lean4/src/infoview.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/vscode-lean4/src/infoview.ts b/vscode-lean4/src/infoview.ts
index 80dd41862..517fef2e4 100644
--- a/vscode-lean4/src/infoview.ts
+++ b/vscode-lean4/src/infoview.ts
@@ -496,6 +496,7 @@ export class InfoProvider implements Disposable {
         // active client is changing.
         this.clearNotificationHandlers()
         this.clearRpcSessions(null)
+        this.webviewPanel?.dispose()
         for (const s of this.clientSubscriptions) {
             s.dispose()
         }