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)
Change History (2)
Changed 13 years ago by
Attachment: | proof-shell-patch added |
---|
comment:1 Changed 13 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
Have made suggested change. Thanks for pointing out inconsistency.
Note: See
TracTickets for help on using
tickets.
Here is a patch for generic/proof-shell.el