search

coq / vscoq

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

Fix highlights #805

Closed rtetley closed 3 months ago

rtetley commented 3 months ago

When there is a non-invalidating edit, the exec overview needs to be shifted (like for the diagnostics). Closes #803

gares commented 3 months ago

It would be nice to have some unit tests on the contents of LM and SM after document validation, although the bug we fix here is really hard to imagine in a test

gares commented 3 months ago

If we remove the debug prints I believe we could merge and release