comparison src/buffer.c @ 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 912a8c0c9a8a
children bef5d1738c0b
comparison
equal deleted inserted replaced
107844:17333bba44b4 107845:688679bd79f5
691 { 691 {
692 b->filename = Qnil; 692 b->filename = Qnil;
693 b->file_truename = Qnil; 693 b->file_truename = Qnil;
694 b->directory = (current_buffer) ? current_buffer->directory : Qnil; 694 b->directory = (current_buffer) ? current_buffer->directory : Qnil;
695 b->modtime = 0; 695 b->modtime = 0;
696 b->modtime_size = -1;
696 XSETFASTINT (b->save_length, 0); 697 XSETFASTINT (b->save_length, 0);
697 b->last_window_start = 1; 698 b->last_window_start = 1;
698 /* It is more conservative to start out "changed" than "unchanged". */ 699 /* It is more conservative to start out "changed" than "unchanged". */
699 b->clip_changed = 0; 700 b->clip_changed = 0;
700 b->prevent_redisplay_optimizations_p = 1; 701 b->prevent_redisplay_optimizations_p = 1;