[gtk+] widget: deprecate focus-line-width style property

[Cosimo Cecchi <cosimoc src gnome org>]

commit b0ace677129c7aa445ad760de6f0870381a578b1
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Sun May 4 20:46:42 2014 +0200

    widget: deprecate focus-line-width style property
    
    Nothing in GTK uses it anymore.

 gtk/gtkwidget.c |   11 +++++++++--
 1 files changed, 9 insertions(+), 2 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 41c1252..6d27c3f 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -3456,13 +3456,20 @@ G_GNUC_END_IGNORE_DEPRECATIONS
                                                                 P_("Whether to draw the focus indicator 
inside widgets"),
                                                                 TRUE,
                                                                 GTK_PARAM_READABLE | G_PARAM_DEPRECATED));
-
+  /**
+   * GtkWidget:focus-line-width:
+   *
+   * The "focus-line-width" style property defines the width,
+   * in pixels, of the focus indicator line
+   *
+   * Deprecated: 3.14: use the outline-width and padding CSS properties instead.
+   */
   gtk_widget_class_install_style_property (klass,
                                           g_param_spec_int ("focus-line-width",
                                                             P_("Focus linewidth"),
                                                             P_("Width, in pixels, of the focus indicator 
line"),
                                                             0, G_MAXINT, 1,
-                                                            GTK_PARAM_READABLE));
+                                                            GTK_PARAM_READABLE | G_PARAM_DEPRECATED));
   /**
    * GtkWidget:focus-line-pattern:
    *