Opened 15 years ago
Closed 15 years ago
#291 closed defect (fixed)
3-Panel-mode: Strange buffer switch when loading a theory
| Reported by: | Alexander Krauss | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | PG-Emacs-4.0 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
Steps to reproduce:
- Proof General -> Quick Options -> Display -> Use Three Panes
- Open an Isabelle theory and click "next" (C-c C-n)
Effect: Isabelle starts up as normal, but the window with the theory buffer is replaced by the *Response* buffer. I can switch back, but it is annoying.
The same happens with "Process whole buffer" (C-c C-b) instead of "next".
Using 4.0pre090921 under GNU Emacs 23.1.1
Note: See
TracTickets for help on using
tickets.
Fixed in CVS. Thanks for the report. The code tried to do something reasonable to layout windows when the auxiliary buffers (goals, etc) are not available, but made a hash of it. Now it simply does not try. This means if you enable the 3 panel mode before starting the prover, you'll probably want to hit C-c C-l to refresh the layout.