button: Update to using GdkEvent API

2017-08-25 16:43:09 +02:00
parent 744c5cc979
commit 80e3b76202
1 changed files with 1 additions and 1 deletions
--- a/gtk/gtkbutton.c
+++ b/gtk/gtkbutton.c
@@ -328,7 +328,7 @@ touch_release_in_button (GtkButton *button)
  if (!event)
    return FALSE;

-  if (event->type != GDK_TOUCH_END)
+  if (gdk_event_get_event_type (event) != GDK_TOUCH_END)
    {
      gdk_event_free (event);
      return FALSE;