Stream: Coq users

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


view this post on Zulip 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

view this post on Zulip Janno (Feb 25 2022 at 09:57):

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

view this post on Zulip Notification Bot (Feb 25 2022 at 22:41):

Daniel Hilst Selli has marked this topic as resolved.

view this post on Zulip Daniel Hilst Selli (Feb 25 2022 at 22:42):

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


Last updated: Jan 31 2023 at 12:01 UTC