[gtk+/gtk-3-0] docs: Make clear that gtk_widget_set_style() does not do anything

[Benjamin Otte <otte src gnome org>]

commit 2444b611f517baa0340a29e6e60b774ed15e05db
Author: Benjamin Otte <otte redhat com>
Date:   Sat Mar 26 21:46:50 2011 +0100

    docs: Make clear that gtk_widget_set_style() does not do anything

 gtk/gtkwidget.c |    7 ++-----
 1 files changed, 2 insertions(+), 5 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index b0aaac0..977f2c3 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -7846,11 +7846,8 @@ gtk_widget_has_rc_style (GtkWidget *widget)
  *     of a previous call to gtk_widget_set_style() and go back to
  *     the default style
  *
- * Sets the #GtkStyle for a widget (@widget->style).
- *
- * You probably don't want to use this function; it interacts
- * badly with themes, because themes work by replacing the #GtkStyle.
- * Instead, use gtk_widget_modify_style().
+ * Used to set the #GtkStyle for a widget (@widget->style). Since
+ * GTK 3, this function does nothing, the passed in style is ignored.
  *
  * Deprecated:3.0: Use #GtkStyleContext instead
  */