fix: [lean4web] dispose webviewPanel in InfoProvider.dispose

leanprover · Jul 30, 2024 · b53b771 · b53b771
1 parent e153595
commit b53b771
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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()
         }