diff options
| author | David Aspinall | 2002-08-26 17:39:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-26 17:39:25 +0000 |
| commit | add6299da8e4fcbb2efa16d75b9126a536cdfca5 (patch) | |
| tree | 0cd39795c3f958d6dc24017e13e4c08cdab061aa /generic/pg-response.el | |
| parent | 5301fd94b22fa5e59dfcccc19e89e2f3faccd21e (diff) | |
Try to prevent associated buffers being killed off by user.
Diffstat (limited to 'generic/pg-response.el')
| -rw-r--r-- | generic/pg-response.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 2d2a46ba..df3627d1 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -22,6 +22,8 @@ "PGResp" "Responses from Proof Assistant" (setq proof-buffer-type 'response) (define-key proof-response-mode-map [q] 'bury-buffer) + (make-local-hook 'kill-buffer-hook) + (add-hook 'kill-buffer-hook 'pg-save-from-death nil t) (easy-menu-add proof-response-mode-menu proof-response-mode-map) (easy-menu-add proof-assistant-menu proof-response-mode-map) (proof-toolbar-setup) |