Sometimes I closed the
*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
This topic was moved here from #Coq users > How to restore windows in proof general? by Karl Palmskog.
You can run
proof-layout-windows. It should be bound to
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.
Last updated: Feb 06 2023 at 05:03 UTC