From b0ace677129c7aa445ad760de6f0870381a578b1 Mon Sep 17 00:00:00 2001
From: Cosimo Cecchi <cosimoc@gnome.org>
Date: Sun, 4 May 2014 20:46:42 +0200
Subject: [PATCH] widget: deprecate focus-line-width style property

Nothing in GTK uses it anymore.
---
 gtk/gtkwidget.c | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 41c1252ba8..6d27c3ff95 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:
    *