search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
335 stars 68 forks source link

Goal auto-scroll regression #800

Closed rtetley closed 3 months ago

rtetley commented 3 months ago

In some situations, the scroll (as requested in #636) no longer works