border_top


Description:

public int border_top { set; get; }

Gets and sets the top border width for the widget.