From 2ed5dbf1248207a64f12594555be33cc294ee413 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Sep 1999 17:12:22 +0000
Subject: Added function to refresh toolbar

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

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)))))
   
 
 ;;
-- 
cgit v1.2.3