if (child->widget == widget)
{
-/* if ((child->x == x) && (child->y == y)) return; */
+ if ((child->x == x) && (child->y == y)) return;
child->x = x;
child->y = y;
attributes.event_mask |=
GDK_EXPOSURE_MASK |
GDK_POINTER_MOTION_MASK |
+ GDK_POINTER_MOTION_HINT_MASK |
GDK_BUTTON_MOTION_MASK |
GDK_BUTTON1_MOTION_MASK |
GDK_BUTTON2_MOTION_MASK |