diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-09-09 15:40:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-09 15:40:48 +0000 |
| commit | 70c1224f95d7f9ced4910adbaa695ebb5df98cf9 (patch) | |
| tree | 4ebb2bcff2c5c9eeff3996a9ea35486eaf3c8691 /generic/proof-toolbar.el | |
| parent | b8d394edd40a5d219c7d29f4dff3763c73c41b28 (diff) | |
Added query to restart script button in case of accidents.
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 4 |
1 files changed, 3 insertions, 1 deletions
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. |