[ Version ( since = "2.4" ) ]
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.
Use Widget alignment and margin properties
See gtk_alignment_set_padding ().
| this | |
| 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 |