[gtk+/wip/cosimoc/range-gadget: 10/22] range: deprecate arrow-scaling style property

[Cosimo Cecchi <cosimoc src gnome org>]

commit 071aea1a284b20b07bc32c235f3aea3f1a6f8ee7
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Sat Jan 16 16:27:35 2016 -0800

    range: deprecate arrow-scaling style property
    
    This can be done with CSS now.

 gtk/gtkrange.c |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/gtk/gtkrange.c b/gtk/gtkrange.c
index 5e8a320..bfef475 100644
--- a/gtk/gtkrange.c
+++ b/gtk/gtkrange.c
@@ -625,13 +625,16 @@ gtk_range_class_init (GtkRangeClass *class)
    * The arrow size proportion relative to the scroll button size.
    *
    * Since: 2.14
+   *
+   * Deprecated: 3.20: Use min-width/min-height on the "button" node instead.
+   *   The value of this style property is ignored.
    */
   gtk_widget_class_install_style_property (widget_class,
                                            g_param_spec_float ("arrow-scaling",
                                                               P_("Arrow scaling"),
                                                               P_("Arrow scaling with regard to scroll button 
size"),
                                                               0.0, 1.0, 0.5,
-                                                              GTK_PARAM_READABLE));
+                                                              GTK_PARAM_READABLE|G_PARAM_DEPRECATED));
 
   gtk_widget_class_set_accessible_type (widget_class, GTK_TYPE_RANGE_ACCESSIBLE);
 }