From 6d9da94bccc8c05ec4925b5591e9c8cc41b85f75 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Sep 2009 00:38:03 +0000
Subject: proof-toolbar-setup: redraw-display

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

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 876b8b93..ba28c3a5 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -110,7 +110,10 @@ back the default toolbar."
      (when (not proof-toolbar-enable)
        (kill-local-variable 'tool-bar-map)))))
 
-(defalias 'proof-toolbar-enable 'proof-toolbar-setup)
+(defun proof-toolbar-enable ()
+  (proof-toolbar-setup)
+  ;; make sure changes show up (any neater way?)
+  (redraw-display))
 
 ;;;###autoload (autoload 'proof-toolbar-toggle "proof-toolbar")
 (proof-deftoggle proof-toolbar-enable proof-toolbar-toggle)
-- 
cgit v1.2.3