From 407db56d15c871783f180231efa52ce182df2b22 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 May 1999 13:42:41 +0000
Subject: Add toggle for proof toolbar to menu

---
 generic/proof-script.el | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 448b3691..97f72be1 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1542,11 +1542,15 @@ No action if BUF is nil."
 
 (defvar proof-menu  
   (append '("Commands"
-            ["Toggle active terminator" proof-active-terminator-minor-mode
+            ["Active terminator" proof-active-terminator-minor-mode
 	     :active t
 	     :style toggle
              :selected proof-active-terminator-minor-mode]
-            "----")
+	    ["Toolbar" proof-toolbar-toggle
+	       :active (featurep 'toolbar)
+	       :style toggle
+	       :selected (not proof-toolbar-inhibit)]
+	    "----")
 	  ;; UGLY COMPATIBILITY  FIXME: remove this soon
           (list (if (string-match "XEmacs 19.1[2-9]" emacs-version)
 		    "--:doubleLine" "----"))
-- 
cgit v1.2.3