proof-shell: Don't ask about killing the proof assistant on exit

ProofGeneral · Oct 2, 2024 · ac5ae12 · ac5ae12
1 parent 739ebaf
commit ac5ae12
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/CHANGES b/CHANGES
@@ -22,6 +22,7 @@ the Git ChangeLog, the GitHub repo https://github.com/ProofGeneral/PG
 *** Improve splash screen, add menu entry to permanently disable it
     (Proof-General -> Quick Options -> Display -> Disable Splash Screen),
     reduce splash screen time to make it less annoying
+*** Don't ask about killing the proof assistant when quitting Proof General.
 
 ** Coq changes
 *** support Coq 8.19

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
@@ -477,6 +477,11 @@ process command."
 	(erase-buffer)
 	(proof-shell-set-text-representation)
 
+        ;; If one quits Proof General, it's clear that the proof
+        ;; assistant needs to be killed - don't ask.
+        (set-process-query-on-exit-flag
+         (get-buffer-process proof-shell-buffer) nil)
+
 	;; Initialise associated buffers
 	(with-current-buffer proof-response-buffer
 	  (erase-buffer)