Alignment.getPadding
void getPadding(out uint paddingTop, out uint paddingBottom, out uint paddingLeft, out uint paddingRight)Gets the padding on the different sides of the widget. See gtk_alignment_set_padding ().
Parameters
paddingTop | location to store the padding for the top of the widget, or null |
paddingBottom | location to store the padding for the bottom of the widget, or null |
paddingLeft | location to store the padding for the left of the widget, or null |
paddingRight | location to store the padding for the right of the widget, or null |
Deprecated
Use #GtkWidget alignment and margin properties