search

coq / vscoq

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

Cursor automatically moves on error. #913

Closed pink10000 closed 2 weeks ago

pink10000 commented 2 weeks ago

Hello, I recently updated vscoq language server to the current version. For some reason when I make a mistake in proofs, it highlights it red and moves my cursor back. Is there a way to revert this feature to how it was before?

Thank you.

pink10000 commented 2 weeks ago

Nevermind, solved by turning off sticky cursors then reloading the editor (reloading was what applied the change).