padding_top


Description:

public int padding_top { set; get; }

Gets and sets the top padding for the widget.