Stream: Coq users

Topic: ✔ Stop auto scrolling on big proofs in Proof General

Daniel Hilst Selli (Feb 25 2022 at 09:52):

I have a big goal, that takes much more of one page, and when stepping in proof-general it moves the pointer in the subgoal window down. Is there a way to stop the goal window from scrolling? I want to go back and forward to see what is changing

Janno (Feb 25 2022 at 09:57):

I think there is an emacs setting called coq-prefer-top-of-conclusion

Notification Bot (Feb 25 2022 at 22:41):

Daniel Hilst Selli has marked this topic as resolved.

Daniel Hilst Selli (Feb 25 2022 at 22:42):

Thanks @Janno !!!! It was exactly what I was searching for

Last updated: Oct 13 2024 at 01:02 UTC