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

[Benjamin Otte <otte src gnome org>]

commit 080ae55e8750f873a88efc4c04266fdffdddfad9
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 4f67971..7f09ddf 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -7845,11 +7845,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
  */