Skip to content

Give focus back to Goals panel when navigating proofs#722

Merged
ejgallego merged 1 commit intoejgallego:mainfrom Alidra:vscode_focus_PanelMay 23, 2024
+7

Commits

Commits on May 23, 2024