From 90893c55a8e506342be3963b1a5dccb22f8dd8c3 Mon Sep 17 00:00:00 2001
From: Gerd Moellmann <gerd@gnu.org>
Date: Wed, 22 Aug 2001 09:43:40 +0000
Subject: [PATCH] (struct face_cache): Add member menu_face_changed_p.

---
 src/dispextern.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/dispextern.h b/src/dispextern.h
index 6cd033745d..d3f024e81c 100644
--- a/src/dispextern.h
+++ b/src/dispextern.h
@@ -1375,6 +1375,10 @@ struct face_cache
 
   /* 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;
 };
 
 
-- 
2.39.2