Merge pull request #669 from haselwarter/dont-save-temp-buffers

ProofGeneral · Nov 30, 2022 · bbbb1e2 · bbbb1e2
2 parents 8e688a6 + f01e84d
commit bbbb1e2
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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)