diff src/ChangeLog @ 107845:688679bd79f5

Try to detect file modification within the same second. * buffer.h (struct buffer): New field modtime_size. * buffer.c (reset_buffer): Initialize it. * fileio.c (Finsert_file_contents, Fwrite_region): Set it. (Fverify_visited_file_modtime): Check it. (Fclear_visited_file_modtime, Fset_visited_file_modtime): Clear it. (Fset_visited_file_modtime): Set (or clear) it.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Mon, 12 Apr 2010 21:47:40 -0400
parents 992ffbd77e15
children e8ea73860300
line wrap: on
line diff
--- a/src/ChangeLog	Mon Apr 12 21:24:10 2010 -0400
+++ b/src/ChangeLog	Mon Apr 12 21:47:40 2010 -0400
@@ -1,3 +1,13 @@
+2010-04-13  Stefan Monnier  <monnier@iro.umontreal.ca>
+
+	Try to detect file modification within the same second.
+	* buffer.h (struct buffer): New field modtime_size.
+	* buffer.c (reset_buffer): Initialize it.
+	* fileio.c (Finsert_file_contents, Fwrite_region): Set it.
+	(Fverify_visited_file_modtime): Check it.
+	(Fclear_visited_file_modtime, Fset_visited_file_modtime): Clear it.
+	(Fset_visited_file_modtime): Set (or clear) it.
+
 2010-04-12  Stefan Monnier  <monnier@iro.umontreal.ca>
 
 	* process.c (status_notify): Remove unused var `ro'.