#ifdef HAVE_XWIDGETS
{
struct xwidget_view *xvw = xwidget_view_from_window (event->xcrossing.window);
+ Mouse_HLInfo *hlinfo;
if (xvw)
{
xwidget_motion_or_crossing (xvw, event);
+ hlinfo = MOUSE_HL_INFO (xvw->frame);
+
+ if (xvw->frame == hlinfo->mouse_face_mouse_frame)
+ {
+ clear_mouse_face (hlinfo);
+ hlinfo->mouse_face_mouse_frame = 0;
+ }
+
+ if (any_help_event_p)
+ {
+ do_help = -1;
+ }
goto OTHER;
}
}
xg_event->crossing.y = event->xcrossing.y + view->clip_top;
xg_event->crossing.x_root = event->xcrossing.x_root;
xg_event->crossing.y_root = event->xcrossing.y_root;
+ gdk_event_set_device (xg_event, find_suitable_pointer (view->frame));
}
gtk_main_do_event (xg_event);
XSETXWIDGET_VIEW (xvw, xv);
XSetWindowAttributes a;
a.event_mask = (ExposureMask | ButtonPressMask | ButtonReleaseMask
- | PointerMotionMask);
+ | PointerMotionMask | EnterWindowMask | LeaveWindowMask);
xv->wdesc = XCreateWindow (xv->dpy, FRAME_X_WINDOW (s->f),
x + clip_left, y + clip_top,