From 080ae55e8750f873a88efc4c04266fdffdddfad9 Mon Sep 17 00:00:00 2001
From: Benjamin Otte <otte@redhat.com>
Date: Sat, 26 Mar 2011 21:46:50 +0100
Subject: [PATCH] docs: Make clear that gtk_widget_set_style() does not do
 anything

---
 gtk/gtkwidget.c | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 4f6797109f..7f09ddf072 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
  */