diff options
author | 1999-09-28 14:44:15 +0000 | |
---|---|---|
committer | 1999-09-28 14:44:15 +0000 | |
commit | dae4fc095488a023cfacecb089eb6ff7d004a7c5 (patch) | |
tree | b8fb5065012077c31ab8b3e405ed413d23d77884 /generic/proof-toolbar.el | |
parent | a0c18b6daff19a09aca6dd4146b24dca27ce5c2e (diff) |
Made Scripting menu entry item on menubar.
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r-- | generic/proof-toolbar.el | 6 |
1 files changed, 3 insertions, 3 deletions
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 |