margin_top


Description:

public int margin_top { set; get; }

Gets and sets the top margin for the widget.