aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-toolbar.el
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-09-13 17:12:22 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-09-13 17:12:22 +0000
commit2ed5dbf1248207a64f12594555be33cc294ee413 (patch)
tree0c6c88d59ed11af45ab9797b370a26576e8f07d6 /generic/proof-toolbar.el
parent9801ba41066fa1da92c04763cd362c7cc08faa83 (diff)
Added function to refresh toolbar
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r--generic/proof-toolbar.el7
1 files changed, 7 insertions, 0 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index bccc6eb0..ca8732e4 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -208,6 +208,13 @@ to the default toolbar."
(setq proof-toolbar-inhibit
(or force-on (not proof-toolbar-inhibit)))
(proof-toolbar-setup))
+
+(defun proof-toolbar-refresh ()
+ "Force refresh of toolbar display to re-evaluate enablers."
+ (if (featurep 'toolbar) ; won't work in FSF Emacs
+ (progn
+ (remove-specifier default-toolbar (current-buffer))
+ (set-specifier default-toolbar proof-toolbar (current-buffer)))))
;;