diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2014-12-22 23:47:37 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2014-12-22 23:47:37 +0000 |
commit | 377373025c649d91be84d3e71b36d8c1508a0ea9 (patch) | |
tree | cd5d945c8dc1a95694906b8fa659bf3843e8e398 /generic/proof-menu.el | |
parent | 5e0855925629694936a0f73936defa20a1758172 (diff) |
Fixed a compilation issue + small display glitch in coqpg
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 39 |
1 files changed, 36 insertions, 3 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index a88c3e08..d4e0f803 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -243,10 +243,43 @@ without adjusting window layout." ["Comments" (pg-show-all-portions 'comment 'hide) t])) "Show/hide submenu.") + +(defvar proof-3-window-mode-policy + (cons "3 Windows mode layout" + '(["smart" + (progn + (customize-set-variable 'proof-three-window-mode-policy 'smart) + (proof-layout-windows)) + :style radio + :selected (eq proof-three-window-mode-policy 'smart) + :help "Adapt to frame width (C-c C-l to refresh)"] + ["hybrid" + (progn + (customize-set-variable 'proof-three-window-mode-policy 'hybrid) + (proof-layout-windows)) + :style radio + :selected (eq proof-three-window-mode-policy 'hybrid) + :help "two column mode"] + ["horizontal" + (progn + (customize-set-variable 'proof-three-window-mode-policy 'horizontal) + (proof-layout-windows)) + :style radio + :selected (eq proof-three-window-mode-policy 'horizontal) + :help "Three column mode"] + ["vertical" + (progn + (customize-set-variable 'proof-three-window-mode-policy 'vertical) + (proof-layout-windows)) + :style radio + :selected (eq proof-three-window-mode-policy 'vertical) + :help "One column mode"]))) + (defvar proof-buffer-menu (cons "Buffers" - '(["Layout Windows" - proof-layout-windows] + `(["Layout Windows" proof-layout-windows] + ,proof-3-window-mode-policy + "" ["Rotate Output Buffers" proof-display-some-buffers :visible (not proof-three-window-enable) @@ -271,7 +304,7 @@ without adjusting window layout." ["Shell" (proof-switch-to-buffer proof-shell-buffer) :active (buffer-live-p proof-shell-buffer)])) - "Proof General buffer menu.") + "Proof General 3 window mode policy.") ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |