Fix highlight bug - Githubissues

coq / vscoq

Visual Studio Code extension for Coq

MIT License

335 stars 68 forks source link

Closed rtetley closed 2 months ago

rtetley commented 2 months ago

Closes #810.

rtetley commented 2 months ago

While fixing this, I noted that the Range of a Qed. encapsulates the entire proof block (i.e. Proof. [...]. Qed.). Is this expected @gares ?

gares commented 2 months ago

No, it is not

rtetley commented 2 months ago

We should investigate