Stream: Proof General users

Topic: How to restore windows in proof general?


view this post on Zulip Daniel Hilst Selli (Oct 26 2022 at 16:37):

Sometimes I closed the *goals* and *response* windows while navigating to other files, how can I restore they to their default location?

It works if I stop the coq process and start it again, but there should be a smarter way of doing this

view this post on Zulip Notification Bot (Oct 26 2022 at 16:41):

This topic was moved here from #Coq users > How to restore windows in proof general? by Karl Palmskog.

view this post on Zulip MackieLoeffel (Oct 28 2022 at 03:38):

You can run proof-layout-windows. It should be bound to C-c C-l.

view this post on Zulip Pierre Courtieu (Oct 28 2022 at 07:34):

Yup. That’s it. In emacs a buffers is not closed when you close its window. It is just there waiting to be displayed again. So the other option is just to rearrange windows by yourself. But C-x c-l Is the simplest way to do it.

view this post on Zulip Daniel Hilst Selli (Oct 31 2022 at 02:26):

Thanks!


Last updated: Feb 06 2023 at 05:03 UTC