diff options
| author | David Aspinall | 1998-11-25 12:49:04 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 12:49:04 +0000 |
| commit | ad94fd1df8ab96aade89fa75231e54553c438f93 (patch) | |
| tree | 611ab0721613c9eab75c2f62e37dd18efb78a4a9 | |
| parent | 5870622e827747ffb096225562b4b2599e31c50c (diff) | |
Made default proof-auto-delete-windows=nil again, it's too unpredictable.
| -rw-r--r-- | generic/proof-config.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index f0035c9a..993d9fec 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -139,14 +139,14 @@ The protocol used should be configured so that no user interaction :type 'string :group 'proof-general) -(defcustom proof-auto-delete-windows t +(defcustom proof-auto-delete-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. If you want to fix the sizes of your windows you may want to set this variable to 'nil' to avoid windows being deleted automatically. If you use multiple frames, only the windows in the currently -selected frame will be affected." +selected frame will be automatically deleted." :type 'boolean :group 'proof-general) |