diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2012-08-31 20:57:19 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2012-08-31 20:57:19 +0000 |
commit | 1658b9ac6ce748fe30565ab74ebee0c362b488f7 (patch) | |
tree | 0d1278b9cdf20b68ed6e809d1ff31e794b7487e1 /generic/proof-useropts.el | |
parent | 9d11b325cee534c5a166a135d6c7c97740e00670 (diff) |
Changed the behaviour of proof-layout-windows. Now it follows the
'horizontal 'vertical 'smart policy.
Diffstat (limited to 'generic/proof-useropts.el')
-rw-r--r-- | generic/proof-useropts.el | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el index 206ea9da..e6712ff6 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -177,6 +177,24 @@ and displayed lazily. See `proof-layout-windows'." :set 'proof-set-value :group 'proof-user-options) +(defcustom proof-three-window-mode-policy 'smart + "*Window splitting policy for three window mode. +- If 'vertical then never split horizontally. +- If 'horizontal then always have scripting buffer on the right + and goal and response buffers on the left (one above the + other). +- If 'smart or anything else means: 'horizontal when the window + is wide enough and horizontally otherwise. The widht threshold + is given by `split-width-threshold'. + + See `proof-layout-windows'." + :type '(choice + (const :tag "Horizontally if frame wide enough" smart) + (const :tag "Horizontally" horizontal) + (const :tag "Vertically" vertical)) + :group 'proof-user-options) + + (defcustom proof-delete-empty-windows nil "*If non-nil, automatically remove windows when they are cleaned. For example, at the end of a proof the goals buffer window will |