A property holding the rendered element’s border width in pixels as
a #GtkBorder. The border is the intermediary spacing property of the
padding/border/margin series.
gtk_render_frame() uses this property to find out the frame line width,
so #GtkWidgets rendering frames may need to add up this padding when
requesting size
A property holding the rendered element’s border width in pixels as a #GtkBorder. The border is the intermediary spacing property of the padding/border/margin series.
gtk_render_frame() uses this property to find out the frame line width, so #GtkWidgets rendering frames may need to add up this padding when requesting size