Bug: Frames in hybrid mode automatically revert to vertical mode

[allen-liaoo]

I have the following configs of PG:

(use-package proof-general
  :mode ("\\.v\\'" . coq-mode)
  :init
  (setq coq-prog-name ".../bin/coqtop")
  (setq proof-splash-enable nil)
  (setq proof-three-window-enable t)
  (setq proof-three-window-mode-policy 'hybrid)
  (setq proof-delete-empty-windows t)
  (setq proof-shrink-windows-tofit t)
  (setq proof-electric-terminator-enable t)
)

When I type a terminator, the frames automatically revert to the bottom of the screen (vertical mode) even though it starts out on the side (hybrid mode). The GUI menu shows me that PG is still in hybrid layout even though it is not.

[Matafou]

Hi. proof-three-window-mode-policy is a customizable variable, so you will probably have abetter effect using (customize-set-variable 'proof-three-window-mode-policy 'hybrid). . To know if a variable is a customizable one look at its documentation, near the end you should see "You can customize this variable."

[Matafou]

Tell me if this solves your problem.