menu item: Use GdkEvent API

This commit is contained in:
Matthias Clasen 2017-08-26 10:55:52 -04:00 committed by Carlos Garnacho
parent b99c3d33ec
commit d7ccf36d71

View File

@ -1129,10 +1129,13 @@ gtk_menu_item_enter (GtkWidget *widget,
GdkEventCrossing *event)
{
GtkWidget *menu_shell;
GdkCrossingMode mode;
if (event->mode == GDK_CROSSING_GTK_GRAB ||
event->mode == GDK_CROSSING_GTK_UNGRAB ||
event->mode == GDK_CROSSING_STATE_CHANGED)
gdk_event_get_crossing_mode ((GdkEvent *)event, &mode);
if (mode == GDK_CROSSING_GTK_GRAB ||
mode == GDK_CROSSING_GTK_UNGRAB ||
mode == GDK_CROSSING_STATE_CHANGED)
return GDK_EVENT_STOP;
if (gdk_event_get_device ((GdkEvent*) event) ==