From d7ccf36d71ca82964eb4a183a334ac158ed70787 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Sat, 26 Aug 2017 10:55:52 -0400 Subject: [PATCH] menu item: Use GdkEvent API --- gtk/gtkmenuitem.c | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/gtk/gtkmenuitem.c b/gtk/gtkmenuitem.c index 9deb8b4f2f..efddab514e 100644 --- a/gtk/gtkmenuitem.c +++ b/gtk/gtkmenuitem.c @@ -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) ==