From a2decd1f2f5cdcb0c1e7f63cf57a288059213459 Mon Sep 17 00:00:00 2001 From: Cosimo Cecchi Date: Sun, 4 May 2014 18:44:00 +0200 Subject: [PATCH] widget: deprecate focus-padding style property There's no use left inside GTK. --- gtk/gtkwidget.c | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c index b1a409554f..437f06313e 100644 --- a/gtk/gtkwidget.c +++ b/gtk/gtkwidget.c @@ -3470,12 +3470,20 @@ G_GNUC_END_IGNORE_DEPRECATIONS P_("Dash pattern used to draw the focus indicator. The character values are interpreted as pixel widths of alternating on and off segments of the line."), "\1\1", GTK_PARAM_READABLE)); + /** + * GtkWidget:focus-padding: + * + * The "focus-padding" style property defines the width, in pixels, + * between focus indicator and the widget 'box'. + * + * Deprecated: 3.14: use the padding CSS properties instead. + */ gtk_widget_class_install_style_property (klass, g_param_spec_int ("focus-padding", P_("Focus padding"), P_("Width, in pixels, between focus indicator and the widget 'box'"), 0, G_MAXINT, 1, - GTK_PARAM_READABLE)); + GTK_PARAM_READABLE | G_PARAM_DEPRECATED)); gtk_widget_class_install_style_property (klass, g_param_spec_boxed ("cursor-color", P_("Cursor color"),