Daniel Hilst Selli (Oct 26 2022 at 16:37): 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
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.
MackieLoeffel (Oct 28 2022 at 03:38):You can run proof-layout-windows. It should be bound to C-c C-l.
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.
Daniel Hilst Selli (Oct 31 2022 at 02:26):Thanks!
Last updated: Oct 13 2024 at 01:02 UTC