diff options
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)) |