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-toolbar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-toolbar.el')

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