search

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant
Apache License 2.0
158 stars 48 forks source link

fix: [lean4web] dispose webviewPanel in InfoProvider.dispose #514

Open abentkamp opened 2 months ago

abentkamp commented 2 months ago

The InfoProvider opens the webviewPanel, so it should also call the webviewPanel's dispose function when gettting disposed.