From 2c0082d3738333458c24227286ab98be2606ec65 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 4 Oct 2001 10:19:32 +0000
Subject: Fix fudged enabler to call button function interactively.

---
 generic/proof-toolbar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 97ac91a1..a8344d7f 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -115,7 +115,7 @@ and chooses the best one for the display properites.")
 			(eval `(defun ,buttonfnwe ()
 				 (interactive)
 				 (if (,enabler) 
-				     (,buttonfn)
+				     (call-interactively (quote ,buttonfn))
 				   (message ,(concat "Button \"" menuname "\" disabled")))))
 			buttonfnwe)))
     (if tooltip
-- 
cgit v1.2.3