[gtk+/gtk-3-10] Improve doc of gtk_widget_override_color()

[Matthias Clasen <matthiasc src gnome org>]

commit 9cdfc30962ec6da2791ec7f7d743741129a57d46
Author: Kjell Ahlstedt <kjell ahlstedt bredband net>
Date:   Mon Oct 7 15:33:31 2013 +0200

    Improve doc of gtk_widget_override_color()
    
    Mention that it's not recursively applied to a container's children.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=566945

 gtk/gtkwidget.c |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 7b88742..a3ddfe8 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -9003,6 +9003,11 @@ _gtk_widget_get_modifier_properties (GtkWidget *widget)
  *
  * All other style values are left untouched.
  *
+ * This function does not act recursively. Setting the color of a
+ * container does not affect its children. Note that some widgets that
+ * you may not think of as containers, for instance #GtkButton<!-- -->s,
+ * are actually containers.
+ *
  * <note><para>
  * This API is mostly meant as a quick way for applications to
  * change a widget appearance. If you are developing a widgets