Ticket #424: proof-shell-patch

File proof-shell-patch, 782 bytes (added by Erik Martin-Dorel, 13 years ago)

Here is a patch for generic/proof-shell.el

Line 
1Index: proof-shell.el
2===================================================================
3RCS file: /disk/cvs/proofgen/ProofGeneral/generic/proof-shell.el,v
4retrieving revision 11.17
5diff -u -r11.17 proof-shell.el
6--- proof-shell.el      11 Sep 2011 12:54:03 -0000      11.17
7+++ proof-shell.el      11 Sep 2011 18:38:22 -0000
8@@ -369,9 +369,10 @@
9          (switch-to-buffer proof-shell-buffer)
10          (error "%s process exited!" proc))
11 
12-       ;; PG manages the prover process, don't query user on exit
13-       (set-process-query-on-exit-flag
14-        (get-buffer-process proof-shell-buffer) nil)
15+       ;; Here we could disable the query-on-exit, but actually we shouldn't,
16+       ;; cf. trac #424
17+       ;;;  (set-process-query-on-exit-flag
18+       ;;;   (get-buffer-process proof-shell-buffer) nil)
19 
20        ;; Initialise associated buffers
21