From f01e84d68fd09ecae44d82115e8405c6a1028a24 Mon Sep 17 00:00:00 2001
From: "Philipp G. Haselwarter" <philipp@haselwarter.org>
Date: Tue, 6 Sep 2022 12:23:17 +0200
Subject: [PATCH] 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 654b9796f..31e5d083b 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)