diff options
author | 1999-05-11 13:42:41 +0000 | |
---|---|---|
committer | 1999-05-11 13:42:41 +0000 | |
commit | 407db56d15c871783f180231efa52ce182df2b22 (patch) | |
tree | 4c480332a96d1d579acd79803f58ba9f878d6d95 | |
parent | fe99b102e8809974f791c992a5d643084fcdd4ce (diff) |
Add toggle for proof toolbar to menu
-rw-r--r-- | generic/proof-script.el | 8 | ||||
-rw-r--r-- | generic/proof-toolbar.el | 15 |
2 files changed, 15 insertions, 8 deletions
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" "----")) diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 5ea63a6d..c7d741dc 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -92,10 +92,6 @@ will work for any proof assistant.") (defvar proof-toolbar nil "Proof mode toolbar button list. Set in proof-toolbar-setup.") -(defconst proof-old-toolbar (and (boundp 'default-toolbar) default-toolbar) - "Saved value of default-toolbar for proofmode.") - - ;; FIXME: edit-toolbar cannot edit proof toolbar (even in a proof mode) ;; Need a variable containing a specifier or similar. ;; (defvar proof-toolbar-specifier nil @@ -135,8 +131,15 @@ to the default toolbar." (setq proof-toolbar (mapcar 'eval proof-toolbar-button-list)) ;; Finally ensure current buffer will display this toolbar (set-specifier default-toolbar proof-toolbar (current-buffer))) - (set-specifier default-toolbar proof-old-toolbar (current-buffer))))) - + (remove-specifier default-toolbar (current-buffer))))) + +(defun proof-toolbar-toggle (&optional force-on) + "Toggle display of Proof General toolbar." + (interactive "P") + (setq proof-toolbar-inhibit + (or force-on (not proof-toolbar-inhibit))) + (proof-toolbar-setup)) + ;; ;; GENERIC PROOF TOOLBAR BUTTONS ;; |