diff options
| author | David Aspinall | 2002-08-07 12:32:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-07 12:32:36 +0000 |
| commit | eab8747b9387ae79dfdb2b9f3af84e3a295944e2 (patch) | |
| tree | 641006012709d35973e69b0db5e27d212f751d8d /generic/proof-config.el | |
| parent | 8d4c6c65c0f84d84aabf426dd879076103849de0 (diff) | |
Rename proof-dont-switch-windows -> proof-three-window-mode
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 f612953b..2411f19a 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -168,7 +168,7 @@ when it used in conjunction with font-lock, so it is disabled by default." :group 'proof-user-options) -(defcustom proof-dont-switch-windows nil +(defcustom proof-three-window-mode 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. |