diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-27 17:57:25 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-27 17:57:25 +0000 |
commit | f1266c38671efc97866b51c019590769a502028e (patch) | |
tree | 75566e37f6c371e627369d7b117bd509c3cf51c7 | |
parent | b024b54d734daad2e313c0cf697f4d89e49c205e (diff) |
proof-save-this-buffer: added
-rw-r--r-- | generic/proof-utils.el | 12 |
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 |