Open thery opened 7 months ago
Could you paste an example ?
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
I'm unable to reproduce ? Can you check the version of the client extension ? Are you building it from sources ?
the top lines problem seems fixed in Vscoq 2.1.2 and I can't reproduce the first problem so far too 🎉 🎉 🎉
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.
Good catch, from line 3 to 5...
Here are my problems.
1) Sometimes some lines are not colored : this is the case of
Proof
in the middle of the screen2) 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.