From 851569fdffc800e0480fafe1e8760a0ff21abb41 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 1 Aug 2001 16:13:49 +0000
Subject: Revert to removing and re-adding specifiers for toolbar, so that
 enablers work at least as well as they did before...

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

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 6b3a92db..6458374e 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -231,6 +231,13 @@ changed state."
 	    (not (equal enabler-state proof-toolbar-enablers-last-state))
 	    (progn
 	      (setq proof-toolbar-enablers-last-state enabler-state)
+	      ;; The official way to do this should be 
+	      ;; (set-specifier-dirty-flag default-toolbar)
+	      ;; but it doesn't work, so we do what VM does instead,
+	      ;; removing and re-adding.  
+	      (remove-specifier default-toolbar buf)
+	      (set-specifier default-toolbar proof-toolbar buf)
+	      ;; We set the dirty flag as well just in case it helps...
 	      (set-specifier-dirty-flag default-toolbar)
 	      (setq proof-toolbar-refresh-flag nil))))
     ;; Kill off this itimer if it's owning buffer has died
-- 
cgit v1.2.3