From 7963b6babca33c9b6816c5b748ba68f1ed89916c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 22 Apr 2004 10:31:51 +0000
Subject: Add proof-save-some-buffers

---
 generic/proof-utils.el | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index ad0d2a3f..7deb9eca 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -60,6 +60,31 @@ Return nil if not a script buffer or if no active scripting buffer."
   (featurep symbol))
 
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; Simplified version of save-some-buffers, with useful arg
+;;
+
+(defun proof-save-some-buffers (buffers)
+  ;; code based on extract from files.el in XEmacs 21.4.14
+  (map-y-or-n-p
+   (lambda (buffer)
+     (if
+	 (and (buffer-modified-p buffer)
+	      (not (buffer-base-buffer buffer))
+	      (buffer-file-name buffer))
+	 ;; we deliberately don't switch to show the buffer;
+	 ;; let's assume user can see it or knows what's in it.
+	 (format "Save file %s? "
+		 (buffer-file-name buffer))))
+   (lambda (buffer)
+     (set-buffer buffer)
+     (condition-case ()
+	 (save-buffer)
+       (error nil)))
+   buffers))
+
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
 ;; Function for taking action when dynamically adjusting customize values
-- 
cgit v1.2.3