proof-save-this-buffer: added

1 files changed, 8 insertions, 4 deletions

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index d937ce2b..bb94ed0d 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -112,6 +112,7 @@ Return nil if not a script buffer or if no active scripting buffer."
 ;;
 
 (defun proof-save-some-buffers (buffers)
+  "Query the user whether to save each of BUFFERS."
   ;; code based on extract from files.el in XEmacs 21.4.14
   (map-y-or-n-p
    (lambda (buffer)
@@ -130,8 +131,13 @@ Return nil if not a script buffer or if no active scripting buffer."
        (error nil)))
    buffers))
 
-
-
+(defun proof-save-this-buffer ()
+  "Query the user whether to save the current buffer."
+  (if (and (buffer-modified-p)
+	   (buffer-file-name (current-buffer))
+	   (y-or-n-p (format "Save file %s? "
+			     (buffer-file-name (current-buffer)))))
+      (save-buffer)))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
@@ -978,7 +984,5 @@ Optional argument PUSH is ignored."
 ;;				   pos end))))))
 
 
-
-
 (provide 'proof-utils)
 ;;; proof-utils.el ends here