[gtk+/gtk-3-4] gdk: add a missing annotation to GdkEventProperty

[Matthias Clasen <matthiasc src gnome org>]

commit 68fe50473311095894b998718d3914aa34d21805
Author: Torsten SchÃnfeld <kaffeetisch gmx de>
Date:   Sun Jun 10 00:03:31 2012 +0200

    gdk: add a missing annotation to GdkEventProperty
    
    Its 'state' field is of type GdkPropertyState.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=677775

 gdk/gdkevents.h |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gdk/gdkevents.h b/gdk/gdkevents.h
index 90abcf6..fd6874b 100644
--- a/gdk/gdkevents.h
+++ b/gdk/gdkevents.h
@@ -910,8 +910,8 @@ struct _GdkEventConfigure
  *   <function>XSendEvent</function>).
  * @atom: the property that was changed.
  * @time: the time of the event in milliseconds.
- * @state: whether the property was changed (%GDK_PROPERTY_NEW_VALUE) or
- *   deleted (%GDK_PROPERTY_DELETE).
+ * @state: (type GdkPropertyState): whether the property was changed
+ *   (%GDK_PROPERTY_NEW_VALUE) or deleted (%GDK_PROPERTY_DELETE).
  *
  * Describes a property change on a window.
  */