comparison make-dist @ 37036:ee6711c482a3

(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.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 28 Mar 2001 12:45:54 +0000
parents 3f8e87ac64ab
children 4bfdb0896d45
comparison
equal deleted inserted replaced
37035:b7bd53c4820a 37036:ee6711c482a3