From 392fdff8e51f20ba626e7b845a8d8a25bcb16cb5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Javier=20Jard=C3=B3n?= <jjardon@gnome.org>
Date: Wed, 15 Feb 2012 13:43:58 +0000
Subject: [PATCH] docs: GtkWidget's "state-flags-changed" is a signal not a
 property

---
 gtk/gtkwidget.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 96dd94e1f4..0e4d1985ea 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -1494,7 +1494,7 @@ gtk_widget_class_init (GtkWidgetClass *klass)
    * The ::state-changed signal is emitted when the widget state changes.
    * See gtk_widget_get_state().
    *
-   * Deprecated: 3.0. Use #GtkWidget:state-flags-changed instead.
+   * Deprecated: 3.0. Use #GtkWidget::state-flags-changed instead.
    */
   widget_signals[STATE_CHANGED] =
     g_signal_new (I_("state-changed"),