diff options
| author | David Aspinall | 2002-09-11 14:42:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-11 14:42:47 +0000 |
| commit | e621111d078b17a0fa689d01a71074e386a1f150 (patch) | |
| tree | cf5c90f0ed1975532337670cbea876fadbd4658b | |
| parent | 2d0f644565b53259d9eff92d6b3811d87b2b0120 (diff) | |
Add proof-shrink-windows-tofit option.
| -rw-r--r-- | generic/proof-config.el | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index f4514f3c..6a4dc17b 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -181,10 +181,6 @@ response buffer. For single frame use this option may be inconvenient for experienced Emacs users." - ;; Did say: - ;; Moreover, this option may cause problems with multi-frame - ;; use because of a bug. - ;; but I can't find it as of 3.0pre201099. :type 'boolean :group 'proof-user-options) @@ -197,8 +193,7 @@ the goals and response buffers, by altering the Emacs variable :set 'proof-set-value :group 'proof-user-options) -(defcustom proof-delete-empty-windows - nil +(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 be cleared; if this flag is set it will automatically be removed. @@ -209,6 +204,13 @@ selected frame will be automatically deleted." :type 'boolean :group 'proof-user-options) +(defcustom proof-shrink-windows-tofit nil + "*If non-nil, automatically shrink output windows to fit contents. +In single-frame mode, this option will reduce the size of the +goals and response windows to fit their contents." + :type 'boolean + :group 'proof-user-options) + (defcustom proof-toolbar-use-button-enablers (not (or |