search

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

[code] Preserve original focus when refocusing the panel. #725

Closed ejgallego closed 2 months ago

ejgallego commented 2 months ago

This amends #722, as otherwise keyboard navigation becomes impossible.

We also amend the changelog entry (should be under main)