coq / vscoq

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

fix: off by one error in Hover #903

Closed Durbatuluk1701 closed 4 weeks ago

Durbatuluk1701 commented 4 weeks ago

Changes the string we are hovered on to be the start of the word index to end of word (does not include any period at the end)

rtetley commented 4 weeks ago

Thanks !