get_padding

Description:

public void get_padding (out uint padding_top, out uint padding_bottom, out uint padding_left, out uint padding_right)

Gets the padding on the different sides of the widget.

Note:

Use Widget alignment and margin properties

See gtk_alignment_set_padding ().

this	a Alignment
padding_top	location to store the padding for the top of the widget, or null
padding_bottom	location to store the padding for the bottom of the widget, or null
padding_left	location to store the padding for the left of the widget, or null
padding_right	location to store the padding for the right of the widget, or null