[nongnu] elpa/proof-general f01e84d68f 1/2: Do not offer to save (temporary) buffers without associated files

[ELPA Syncer]

branch: elpa/proof-general
commit f01e84d68fd09ecae44d82115e8405c6a1028a24
Author: Philipp G. Haselwarter <philipp@haselwarter.org>
Commit: Philipp G. Haselwarter <philipp@haselwarter.org>

    Do not offer to save (temporary) buffers without associated files
    
    This restores the default behaviour of Emacs. If a user wants to be more
    careful about saving temporary buffers, they can set `buffer-offer-save` via
    the appropriate hooks.
    
    This commit effectively reverts b8cca128a40ee0d72bc627a5d320cdde12b3d87c
    
    Closes #668
---
 generic/proof-script.el | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 654b9796f9..31e5d083b2 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2814,10 +2814,6 @@ finish setup which depends on specific proof assistant 
configuration."
   (proof-setup-imenu)
   (proof-imenu-enable)
 
-  ;; Save file-less script mode buffers in case of accidental exit
-  (or (buffer-file-name)
-      (setq buffer-offer-save t))
-
   ;; Turn on autosend if enabled
   (proof-autosend-enable 'nomsg)