# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 998473420 0
# Node ID db6c2951e6a7c471e97d3249bff3b074c1520b21
# Parent  5653fe43d6fb82b010af5724f3af491ef49b8453
(struct face_cache): Add member
menu_face_changed_p.

diff -r 5653fe43d6fb -r db6c2951e6a7 src/dispextern.h
--- a/src/dispextern.h	Wed Aug 22 08:54:43 2001 +0000
+++ b/src/dispextern.h	Wed Aug 22 09:43:40 2001 +0000
@@ -1375,6 +1375,10 @@
 
   /* The allocated size, and number of used slots of faces_by_id.  */
   int size, used;
+
+  /* Flag indicating that attributes of the `menu' face have been
+     changed.  */
+  unsigned menu_face_changed_p : 1;
 };