diff options
| -rw-r--r-- | generic/proof-utils.el | 25 |
1 files changed, 25 insertions, 0 deletions
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 @@ -62,6 +62,31 @@ Return nil if not a script buffer or if no active scripting buffer." ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; +;; 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 ;; (defun proof-set-value (sym value) |