lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard

Show the Goal panel if it has lost focus

Open Alidra opened this issue 1 year ago • 1 comments

In Vscode, if the Goal panel looses focus (typically, because user selected another panel) 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.

This PR, gives back focus to the Goals panel to bring it back as soon as the user navigates goals without having to clicking the panel himself.

TODO:

  • [ ] test with emacs

Alidra avatar Apr 17 '24 11:04 Alidra

Tests with Vscode has been successfully performed. Tests with Emacs still need to be performed to unsure that sending null goals does not break the Emacs client.

Alidra avatar Apr 17 '24 11:04 Alidra

@fblanqui, the modifications in this PR have been tested with Emacs and don't seem to have any impact on it. I propose to merge it to master.

Alidra avatar May 07 '24 18:05 Alidra