From bb29430d1c69ae8ae19127c8ea338b3070139e9d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Dec 1998 10:59:30 +0000
Subject: Changed name of proof-toolbar-inhibit variable for uniformity.

---
 doc/ProofGeneral.texi    | 8 ++++----
 generic/proof-config.el  | 4 ++--
 generic/proof-toolbar.el | 2 +-
 3 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index cdf87e6d..82d0a932 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1538,11 +1538,11 @@ The protocol used should be configured so that no user interaction
 The default value is @code{""}.
 @end defopt
 
-@c TEXI DOCSTRING MAGIC: proof-toolbar-wanted
-@defopt proof-toolbar-wanted 
-Whether to use toolbar in proof mode.
+@c TEXI DOCSTRING MAGIC: proof-toolbar-inhibit
+@defopt proof-toolbar-inhibit 
+Non-nil prevents toolbar being used for script buffers.
 
-The default value is @code{t}.
+The default value is @code{nil}.
 @end defopt
 
 
diff --git a/generic/proof-config.el b/generic/proof-config.el
index 1322b1a1..8fccaddb 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -72,8 +72,8 @@
   :group 'proof-general)
 
 (and (featurep 'toolbar)
-(defcustom proof-toolbar-wanted t
-  "*Whether to use toolbar in proof mode."
+(defcustom proof-toolbar-inhibit nil
+  "*Non-nil prevents toolbar being used for script buffers."
   :type 'boolean
   :group 'proof-general))
 
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index c840e90f..c767648c 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -110,7 +110,7 @@ to the default toolbar."
   (interactive)
   (if (featurep 'toolbar)		; won't work in FSF Emacs
       (if (and	
-	   proof-toolbar-wanted
+	   (not proof-toolbar-inhibit)
 	   ;; NB for FSFmacs use window-system, not console-type
 	   (eq (console-type) 'x))
 	  (let
-- 
cgit v1.2.3