[gtk+] header bar: Use GdkEvent API

[Carlos Garnacho <carlosg src gnome org>]

commit 67489349a5304edf0ca314b97b5b33bd7c6dcb2d
Author: Matthias Clasen <mclasen redhat com>
Date:   Sat Aug 26 10:55:16 2017 -0400

    header bar: Use GdkEvent API

 gtk/gtkheaderbar.c |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/gtk/gtkheaderbar.c b/gtk/gtkheaderbar.c
index 5b8ca74..de25017 100644
--- a/gtk/gtkheaderbar.c
+++ b/gtk/gtkheaderbar.c
@@ -1801,8 +1801,10 @@ window_state_changed (GtkWidget           *window,
                       gpointer             data)
 {
   GtkHeaderBar *bar = GTK_HEADER_BAR (data);
+  GdkWindowState changed, new_state;
 
-  if (event->changed_mask & (GDK_WINDOW_STATE_FULLSCREEN | GDK_WINDOW_STATE_MAXIMIZED | 
GDK_WINDOW_STATE_TILED))
+  gdk_event_get_window_state ((GdkEvent *)event, &changed, &new_state);
+  if (changed & (GDK_WINDOW_STATE_FULLSCREEN | GDK_WINDOW_STATE_MAXIMIZED | GDK_WINDOW_STATE_TILED))
     _gtk_header_bar_update_window_buttons (bar);
 
   return FALSE;