ChillarAnand#11 enhancement

halueda · May 7, 2015 · 917d733 · 917d733
1 parent 13792e1
commit 917d733
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/real-auto-save.el b/real-auto-save.el
@@ -82,7 +82,10 @@
       (dolist (elem real-auto-save-buffers-list)
         (set-buffer elem)
         (if (and (buffer-file-name) (buffer-modified-p))
-            (save-buffer))))
+            (if (verify-visited-file-modtime) 
+                 (save-buffer) 
+               (message (format"%s has changed since visited or saved.  Not saved automatically." elem))) 
+           ))) 
     (real-auto-save-restart-timer)))
 
 (defun real-auto-save-remove-buffer-from-list ()