diff options
| author | David Aspinall | 1998-12-10 10:57:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-10 10:57:19 +0000 |
| commit | b8cca128a40ee0d72bc627a5d320cdde12b3d87c (patch) | |
| tree | 1b7003eca5bd204b8fbc8d992f5393a3ab6126d3 /generic/proof-script.el | |
| parent | e0a8de9c5ef7a67d49aa58c028f1731176c79ea9 (diff) | |
Offer to save script mode buffers which have no files,
in case Emacs is exited accidently. (Esoteric improvement).
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 9 |
1 files changed, 8 insertions, 1 deletions
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)) |