search

coq / vscoq

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

Better highlights #744

Closed rtetley closed 4 months ago

rtetley commented 7 months ago

WIP for making faster and better highlights Adresses #743 for manual mode, need to think it through for continuous mode. Closes #657 Closes #642

rtetley commented 6 months ago

This is preliminary work. It solves the performance issues for good (making them on par with VsCoq 1 on the linked example from #657. It also creates better distinctions between executed, executing and "prepared" (i.e. the range the user has asked after an interpret to point). I am not sure how well it works with delegation. For continuous mode highlights I will handle it in a subsequent PR. The general mechanism here will allow us to many QOL improvements down the line. What do you think @gares ?