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.

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

(limited to 'generic')

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