[ Version ( since = "2.4" ) ]
public void set_padding (uint padding_top, uint padding_bottom, uint padding_left, uint padding_right)
Sets the padding on the different sides of the widget.
Use Widget alignment and margin properties
The padding adds blank space to the sides of the widget. For instance, this can be used to indent the child widget towards the right by adding padding on the left.
| this | |
| padding_top |
the padding at the top of the widget |
| padding_bottom |
the padding at the bottom of the widget |
| padding_left |
the padding at the left of the widget |
| padding_right |
the padding at the right of the widget. |