diff src/widgetprv.h @ 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 ee40177f6c68
children 23a1cea22d13
line wrap: on
line diff