diff src/w32select.c @ 38904:db6c2951e6a7

(struct face_cache): Add member menu_face_changed_p.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 22 Aug 2001 09:43:40 +0000
parents e7765cb122c3
children cdfd4d09b79a
line wrap: on
line diff