widget: deprecate focus-padding style property

There's no use left inside GTK.
This commit is contained in:
Cosimo Cecchi 2014-05-04 18:44:00 +02:00
parent 5cb43c70f7
commit a2decd1f2f

View File

@ -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."), 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", "\1\1",
GTK_PARAM_READABLE)); 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, gtk_widget_class_install_style_property (klass,
g_param_spec_int ("focus-padding", g_param_spec_int ("focus-padding",
P_("Focus padding"), P_("Focus padding"),
P_("Width, in pixels, between focus indicator and the widget 'box'"), P_("Width, in pixels, between focus indicator and the widget 'box'"),
0, G_MAXINT, 1, 0, G_MAXINT, 1,
GTK_PARAM_READABLE)); GTK_PARAM_READABLE | G_PARAM_DEPRECATED));
gtk_widget_class_install_style_property (klass, gtk_widget_class_install_style_property (klass,
g_param_spec_boxed ("cursor-color", g_param_spec_boxed ("cursor-color",
P_("Cursor color"), P_("Cursor color"),