[gtk+/gtk-3-20] Add a deprecation note

[Matthias Clasen <matthiasc src gnome org>]

commit 2669c207bd8f413e5310d55eb247fbe5406eb432
Author: Matthias Clasen <mclasen redhat com>
Date:   Mon May 23 20:40:03 2016 -0400

    Add a deprecation note
    
    Mark GtkWidget:style property as deprecated in the docs.

 gtk/gtkwidget.c |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 4870911..6715b11 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -1243,6 +1243,13 @@ gtk_widget_class_init (GtkWidgetClass *klass)
 
 G_GNUC_BEGIN_IGNORE_DEPRECATIONS
 
+  /**
+   * GtkWidget:style:
+   *
+   * The style of the widget, which contains information about how it will look (colors, etc).
+   *
+   * Deprecated: Use #GtkStyleContext instead
+   */
   widget_props[PROP_STYLE] =
       g_param_spec_object ("style",
                            P_("Style"),