From ed1c99a83ed25319055d355079de1f84ed9d6d0a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Oct 1998 15:54:15 +0000
Subject: Made toolbar functions interactive, needed by old XEmacs.

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

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index de867fc5..1303bd4b 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -214,6 +214,7 @@ without giving error messages."
 
 (defun proof-toolbar-undo ()
   "Undo last successful in locked region, without deleting it."
+  (interactive)
   (if (proof-toolbar-undo-enable-p)
       (save-excursion
 	(proof-undo-last-successful-command t))))
-- 
cgit v1.2.3