diff options
| -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. |