comparison src/config.in @ 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 865571797d0b
children fd2b7dede9cd
comparison
equal deleted inserted replaced
21739:e02be2b47d18 21740:92c501ecca49