Give focus back to Goals panel when navigating proofs

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

GNU Lesser General Public License v2.1

137 stars 31 forks source link

Give focus back to Goals panel when navigating proofs #722

Closed Alidra closed 2 months ago

Alidra commented 2 months ago

The Goals panel is shown in the second column of Vscode. If the user opens a second panel in this column the Goals panel may loose focus and proofs and not visible to user when he navigates the proofs again.

This PR, gives the focus back automatically to the Goals panel if it has lost it as soon as the user navigates the proofs again.

Alidra commented 2 months ago

You are welcome @ejgallego Done!