diff src/w32select.c @ 24827:487fdbc8de0f

(cancel_mouse_face): new function. See equiv changes to xterm.c on 1996-10-31. (x_set_window_size): use cancel_mouse_face. (w32_read_socket): use cancel_mouse_face. Update frame position when size is restored.
author Karl Heuer <kwzh@gnu.org>
date Sat, 12 Jun 1999 03:44:31 +0000
parents ea7d8435d078
children 8c35aee5448d
line wrap: on
line diff