Opened 11 years ago
Closed 11 years ago
#459 closed defect (wontfix)
Can not split the window vertically
| Reported by: | coquser | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-4.3 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
I'm using the Proof General 4.2 with emacs 23.3.1 in ubunbu 12.04 to program with coq.While I was using it to step the coq script,I found that the window was splitted horizontally as which was shown in the attachment.I try to use the "M-x proof-three-window-toogle" and "M-x proof-layout-window" to change the layout so that the window will be splitted vertically. Unfortunately it's of no use.
In Proof General 4.1 with emacs 23.3.1 in ubuntu 12.04,I can split the window vertically by the above commands,while the contents in the "coq goals" was not cleaned. I'm not quite familiar with emacs.So I want to know how to solve these problems.
Attachments (2)
Change History (5)
Changed 11 years ago by
comment:1 Changed 11 years ago by
Are you using the ubuntu package? Which version precisely?
Your screenshots look like you are using proofgeneral inside a terminal in text-mode. Is there a reason for that?
Bye,
Hendrik
comment:2 follow-up: 3 Changed 11 years ago by
I cannot reproduce this problem with proofgeneral 4.2pre120605 and emacs 23.4.1. proof-three-window-toggle always splits the windows vertically, in text mode and in the GUI.
Hendrik
comment:3 Changed 11 years ago by
| Resolution: | → wontfix |
|---|---|
| Status: | new → closed |
Hello,
Is your emacs window wide enough?
In the current version of PG (last release or dev version), the splitting is by default in the new "smart mode", that is: when the global frame is wide (horizontally) enough the splitting uses two (or even three) columns. Otherwise one single column is used. If your emacs is less that 160 characters width you frame will not be split.
You can set variable split-width-threshold to change the threshold, or you can force another behavior by changing the mode with menu "Coq -> 3 windows mode layout" or programatically with something like:
(customize-set-variable 'proof-three-window-mode-policy 'hybrid) ; or 'smart or 'horizontal or 'vertical
hybrid mode means two column (.v buffer on the left, the two others on the right).
At any time if the windows are not placed correctly refreshing the frames with (C-c C-l) should go back to nominal frame layout (some strange resizing of the whole frame may happen).
Please feel free to reopen this bug if it does not behave as described.
Best regards, Pierre
used to show that PG4.2's error