diff src/casetab.c @ 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 fa9ff387d260
children 6b389fb978bc
line wrap: on
line diff