diff src/w32inevt.h @ 21740:92c501ecca49

(w32_read_socket): Don't misinterpret WM_PAINT message as an expose event if the repaint region is actually empty. Also use the standard menubar_selection_callback routine.
author Geoff Voelker <voelker@cs.washington.edu>
date Thu, 23 Apr 1998 23:42:28 +0000
parents c686d4f3728a
children 56104212fe5c
line wrap: on
line diff