Opened 13 years ago

Closed 13 years ago

#424 closed defect (fixed)

proof-shell-exit does not follow standard emacs policy with query-exit.

Reported by: courtieu Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-4.1
Component: 2:pg-emacs Keywords:
Cc:

Description

Currently, when there is a running prover process and user, hitting C-x C-c exits emacs without the usual user confirmation about process still running.

Attachments (1)

proof-shell-patch​ (782 bytes) - added by Erik Martin-Dorel 13 years ago.
Here is a patch for generic/proof-shell.el

Download all attachments as: .zip

Change History (2)

Changed 13 years ago by Erik Martin-Dorel

Attachment: proof-shell-patch​ added

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

comment:1 Changed 13 years ago by David Aspinall

Resolution: → fixed
Status: new → closed

Have made suggested change. Thanks for pointing out inconsistency.

Note: See TracTickets for help on using tickets.