diff options
author | 1999-05-11 13:42:41 +0000 | |
---|---|---|
committer | 1999-05-11 13:42:41 +0000 | |
commit | 407db56d15c871783f180231efa52ce182df2b22 (patch) | |
tree | 4c480332a96d1d579acd79803f58ba9f878d6d95 /generic/proof-toolbar.el | |
parent | fe99b102e8809974f791c992a5d643084fcdd4ce (diff) |
Add toggle for proof toolbar to menu
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r-- | generic/proof-toolbar.el | 15 |
1 files changed, 9 insertions, 6 deletions
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 ;; |