search

Deducteam / lambdapi

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

User shouldn't have to manually select Goal panel to see navigated goals #1082

Closed Alidra closed 4 months ago

Alidra commented 5 months ago

In Vscode, if the Goal panel looses focus (typically, because user selected another panel in the second column) Goals are updated in this panel when the user navigates them in the .lp file but he can't see them unless clicking on this panel to bring it in front again.

The user shouldn't have to do this. Instead, focus should be given back to the Goals panel to bring it to the front as soon as the user navigates goals.