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: register event listeners for proper disposal of client provider #498

Open abentkamp opened 2 months ago

abentkamp commented 2 months ago

This adds the disposable returned by the event registrations to this.subscriptions so that calling dispose will get rid of all event listeners.

This will help with lean4web, but is probably generally the right thing to do here.