From 70c1224f95d7f9ced4910adbaa695ebb5df98cf9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Sep 1998 15:40:48 +0000
Subject: Added query to restart script button in case of accidents.

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

(limited to 'generic')

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 34e1c137..f0a558e4 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -207,7 +207,9 @@ without giving error messages."
   (lambda () (eq proof-buffer-type 'script)))
 
 ;; Something less drastic would be nice!
-(defalias 'proof-toolbar-restart 'proof-restart-script)
+(defun proof-toolbar-restart  ()
+  (if (yes-or-no-p "Restart proof scripting?")
+      (proof-restart-script)))
 
 ;; A goal button will need a variable for string to insert,
 ;; actually.
-- 
cgit v1.2.3