From dae4fc095488a023cfacecb089eb6ff7d004a7c5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 28 Sep 1999 14:44:15 +0000
Subject: Made Scripting menu entry item on menubar.

---
 generic/proof-toolbar.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index f98f8153..445b7382 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -104,7 +104,7 @@ If MENUNAME is nil, item will not appear on the \"Scripting\" menu.")
 	    (if enablep 
 		(list ':active (list (proof-toolbar-enabler token))))))))))
    
-(defconst proof-toolbar-menu
+(defconst proof-toolbar-scripting-menu
   ;; Toolbar contains commands to manipulate script and
   ;; other handy stuff.  Called "Scripting"
   (append
@@ -117,8 +117,8 @@ If MENUNAME is nil, item will not appear on the \"Scripting\" menu.")
 ;;
 ;; Add this menu to proof-menu
 ;;
-(setq proof-menu
-      (append proof-menu (list proof-toolbar-menu)))
+; (setq proof-menu
+;      (append proof-menu (list proof-toolbar-menu)))
 
 ;;
 ;; Now the toolbar icons and buttons
-- 
cgit v1.2.3