search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
265 stars 35 forks source link

Reopen the goals panel if closed when navigating proofs #1068

Closed Alidra closed 3 months ago

Alidra commented 3 months ago

Currently, if the use closes the Goals panel, it is not possible to navigate the proofs unless the lambdapi vscode extension is restarted.

This is not the desired behaviour. Instead the Goal panel should be reopened as soon as the user navigates the proofs.

This PR fixes this issue