diff options
| author | David Aspinall | 1999-11-17 17:22:50 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-17 17:22:50 +0000 |
| commit | 0a1b5542542b2c81978e0bcbee0745287c1f5973 (patch) | |
| tree | 96eb68e4250368c77e5d666dfb7fcebaa88dcdc1 /generic/proof-config.el | |
| parent | 2abb0e6736c8681b1bb7eacdc4b14be13a36901d (diff) | |
Name change proof-window-dedicated -> proof-dont-switch-windows.
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 2bf24661..7298e7b8 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -149,7 +149,7 @@ when it used in conjunction with font-lock, so it is disabled by default." :type 'boolean :group 'proof-user-options) -(defcustom proof-window-dedicated nil +(defcustom proof-dont-switch-windows nil "*Whether response and goals buffers have dedicated windows. If non-nil, Emacs windows displaying messages from the prover will not be switchable to display other windows. |