Improve some deprecation notes

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index e77a5fb00c9706fa68561663e0bb51fcec821608..567c88fbc66bf6108298940c3fe7a4d59cf098e0 100644 (file)
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -8761,7 +8761,8 @@ gtk_widget_reset_style (GtkWidget *widget)
  *
  * This function is not useful for applications.
  *
- * Deprecated:3.0: Use #GtkStyleContext instead
+ * Deprecated:3.0: Use #GtkStyleContext instead, and
+ *     gtk_widget_reset_style()
  */
 void
 gtk_widget_reset_rc_styles (GtkWidget *widget)
@@ -8779,7 +8780,9 @@ gtk_widget_reset_rc_styles (GtkWidget *widget)
  * Returns: (transfer none): the default style. This #GtkStyle
  *     object is owned by GTK+ and should not be modified or freed.
  *
- * Deprecated:3.0: Use #GtkStyleContext instead
+ * Deprecated:3.0: Use #GtkStyleContext instead, and
+ *     gtk_css_provider_get_default() to obtain a #GtkStyleProvider
+ *     with the default widget style information.
  */
 GtkStyle*
 gtk_widget_get_default_style (void)