Name change proof-window-dedicated -> proof-dont-switch-windows.

3 files changed, 7 insertions, 7 deletions

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 8c41eb2c..a44f674c 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1713,11 +1713,11 @@ model.
 If your screen is large enough, you may prefer to display all three of
 the interaction buffers at once.  This is useful, for example, to see
 output from the @code{proof-find-theorems} command at the same time as
-the subgoal list.  Set the user option @code{proof-window-dedicated} to
+the subgoal list.  Set the user option @code{proof-dont-switch-windows} to
 make Proof General keep both the goals and response buffer displayed.
 
-@c TEXI DOCSTRING MAGIC: proof-window-dedicated
-@defopt proof-window-dedicated 
+@c TEXI DOCSTRING MAGIC: proof-dont-switch-windows
+@defopt proof-dont-switch-windows 
 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.
@@ -1771,7 +1771,7 @@ This setting makes the @code{*isabelle-goals*} and
 frames.  
 
 Multiple frames work best when @code{proof-auto-delete-windows} is
-@code{nil} and @code{proof-window-dedicated} is @code{t}.
+@code{nil} and @code{proof-dont-switch-windows} is @code{t}.
 
 
 @node User options
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.
diff --git a/generic/proof.el b/generic/proof.el
index b5f051ed..87272b37 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -380,7 +380,7 @@ Returns new END value."
       (buffer-substring start (point-max))))))
 
 (defun proof-display-and-keep-buffer (buffer &optional pos)
-  "Display BUFFER and mark window according to `proof-window-dedicated'.
+  "Display BUFFER and mark window according to `proof-dont-switch-windows'.
 If optional POS is present, will set point to POS.  
 Otherwise move point to the end of the buffer.
 Ensure that point is visible in window."
@@ -389,7 +389,7 @@ Ensure that point is visible in window."
       (set-buffer buffer)
       (display-buffer buffer)
       (setq window (get-buffer-window buffer 'visible))
-      (set-window-dedicated-p window proof-window-dedicated)
+      (set-window-dedicated-p window proof-dont-switch-windows)
       (and window
 	   (save-selected-window
 	     (select-window window)