diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 13a441c4..56c8961e 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1829,12 +1829,7 @@ finish setup which depends on specific proof assistant configuration." ;; 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)) + (setq buffer-offer-save t))) (provide 'proof-script) |