diff options
author | Torsten Schönfeld <kaffeetisch@gmx.de> | 2012-06-10 00:03:31 +0200 |
---|---|---|
committer | Torsten Schönfeld <kaffeetisch@gmx.de> | 2012-06-10 22:22:19 +0200 |
commit | ab976ac8c1ddee32db31c0938ba82247c16dba39 (patch) | |
tree | e986eddc9036d0feed965dd961794c4d7cc6fb17 /gdk | |
parent | e6149931c9995a2ed28e4d4b4dde47f6e8968d36 (diff) | |
download | gtk+-ab976ac8c1ddee32db31c0938ba82247c16dba39.tar.gz |
gdk: add a missing annotation to GdkEventProperty
Its 'state' field is of type GdkPropertyState.
https://bugzilla.gnome.org/show_bug.cgi?id=677775
Diffstat (limited to 'gdk')
-rw-r--r-- | gdk/gdkevents.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdk/gdkevents.h b/gdk/gdkevents.h index b410529fc9..9b1a869c8f 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. */ |