diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index fe439115..5c757cc6 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -349,6 +349,10 @@ process command." (switch-to-buffer proof-shell-buffer) (error "%s process exited!" proc)) + ;; PG manages the prover process, don't query user on exit + (set-process-query-on-exit-flag + (get-buffer-process proof-shell-buffer) nil) + ;; Initialise associated buffers (with-current-buffer proof-response-buffer |