diff 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
line wrap: on
line diff