search

coq-community / vscoq

A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]
MIT License
332 stars 67 forks source link

Add decorations to sticky scroll #741

Open thery opened 6 months ago

thery commented 6 months ago

Here are my problems. ddd

1) Sometimes some lines are not colored : this is the case of Proof in the middle of the screen

2) When I scroll back the top lines are often messed up. There is a problem of refresh but this may be a problem of vscode.

rtetley commented 6 months ago

Could you paste an example ?

thery commented 6 months ago

For the Proof. stuff I can't reproduce it.

For the top lines, the bug is there on every file when scrolling back after executing a large file

rtetley commented 6 months ago

I'm unable to reproduce ? Can you check the version of the client extension ? Are you building it from sources ?

thery commented 6 months ago

the top lines problem seems fixed in Vscoq 2.1.2 and I can't reproduce the first problem so far too 🎉 🎉 🎉

thery commented 6 months ago

Unfortunately the problem occurs still in 2.1.2

ddd

foo.v.txt

my version of vscode is 1.86.2

rtetley commented 6 months ago

Okay I think I know what is going on ! What you are experiencing is a feature of vscode called sticky scroll. It does not take the decorations into account. I have to see if there is a way to handle this in vscoq. In the meantime you can disable it in the vscode user settings.

gares commented 6 months ago

Good catch, from line 3 to 5...