(struct face_cache): Add member

menu_face_changed_p.

1 files changed, 4 insertions, 0 deletions

diff --git a/src/dispextern.h b/src/dispextern.h
index 6cd033745d4..d3f024e81c9 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;
 };