From 358b338316430fe8707780985702b2a925a45abc Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Tue, 18 Jan 2011 21:46:18 +0000 Subject: - fixed stale load path problem with killing the proof shell in the deactivation-hook --- generic/proof-shell.el | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'generic/proof-shell.el') diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 069694e7..fe439115 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -459,14 +459,18 @@ shell buffer, alled by `proof-shell-bail-out' if process exits." proof-shell-delayed-output-end nil proof-shell-delayed-output-flags nil)) -(defun proof-shell-exit () +(defun proof-shell-exit (&optional dont-ask) "Query the user and exit the proof process. This simply kills the `proof-shell-buffer' relying on the hook function -`proof-shell-kill-function' to do the hard work." + +`proof-shell-kill-function' to do the hard work. If optional +argument DONT-ASK is non-nil, the proof process is terminated +without confirmation." (interactive) (if (buffer-live-p proof-shell-buffer) - (when (yes-or-no-p (format "Exit %s process? " proof-assistant)) + (when (or dont-ask + (yes-or-no-p (format "Exit %s process? " proof-assistant))) (let ((kill-buffer-query-functions nil)) ; avoid extra dialog (kill-buffer proof-shell-buffer)) (setq proof-shell-buffer nil)) -- cgit v1.2.3