# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1008532873 0
# Node ID 32f317cd7f012e2954bcfadfa8cadfe52f40afc3
# Parent  1ff0e151fab051ffd01963e24a0665fdd8ed8270
(struct buffer): New field `display_error_modiff'.

diff -r 1ff0e151fab0 -r 32f317cd7f01 src/buffer.h
--- a/src/buffer.h	Sun Dec 16 19:14:37 2001 +0000
+++ b/src/buffer.h	Sun Dec 16 20:01:13 2001 +0000
@@ -493,8 +493,11 @@
      0 means visited file modtime unknown; in no case complain
      about any mismatch on next save attempt.  */
   int modtime;
-  /* the value of text->modiff at the last auto-save.  */
+  /* The value of text->modiff at the last auto-save.  */
   int auto_save_modified;
+  /* The value of text->modiff at the last display error.
+     Redisplay of this buffer is inhibited until it changes again.  */
+  int display_error_modiff;
   /* The time at which we detected a failure to auto-save,
      Or -1 if we didn't have a failure.  */
   int auto_save_failure_time;