# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 985783554 0
# Node ID ee6711c482a3f24a62310dba75f3fe14e30bb299
# Parent  b7bd53c4820a70f9d33009c0306491a933a73842
(realize_basic_faces): Decrement menu_face_change_count
instead of setting it to zero; it's incremented for each frame
where the menu face is changed.

diff -r b7bd53c4820a -r ee6711c482a3 src/xfaces.c
--- a/src/xfaces.c	Wed Mar 28 12:39:45 2001 +0000
+++ b/src/xfaces.c	Wed Mar 28 12:45:54 2001 +0000
@@ -5974,7 +5974,7 @@
       /* Reflect changes in the `menu' face in menu bars.  */
       if (menu_face_change_count)
 	{
-	  menu_face_change_count = 0;
+	  --menu_face_change_count;
 #ifdef USE_X_TOOLKIT
 	  x_update_menu_appearance (f);
 #endif