From b8cca128a40ee0d72bc627a5d320cdde12b3d87c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Dec 1998 10:57:19 +0000
Subject: Offer to save script mode buffers which have no files, in case Emacs
 is exited accidently.  (Esoteric improvement).

---
 generic/proof-script.el | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 6aae642c..b5916c8a 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1767,7 +1767,14 @@ finish setup which depends on specific proof assistant configuration."
 		  (cons major-mode proof-script-find-next-entity-fn)
 		  fume-find-function-name-method-alist)))))
 
-  ;; FIXME da: does proof mode hook call belong here? 
+  ;; Offer to save script mode buffers which have no files,
+  ;; in case Emacs is exited accidently.
+  (or (buffer-file-name)
+      (setq buffer-offer-save t))
+
+  ;; FIXME da: does proof mode hook call belong here?
+  ;; Moreover, isn't it already called by
+  ;; (define-derived-mode proof-mode ...) ???
   (run-hooks 'proof-mode-hook))
 
 
-- 
cgit v1.2.3