[gtk+] gdk: add a missing annotation to GdkEventProperty

[Torsten SchÃnfeld <tsch src gnome org>]

commit ab976ac8c1ddee32db31c0938ba82247c16dba39
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 b410529..9b1a869 100644
--- a/gdk/gdkevents.h
+++ b/gdk/gdkevents.h
@@ -921,8 +921,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.
  */