set_border_width

Description:

public void set_border_width (uint border_width)

Sets the border width of the container.

The border width of a container is the amount of space to leave around the outside of the container. The only exception to this is Window; because toplevel windows can’t leave space outside, they leave the space inside. The border is added on all sides of the container. To add space to only one side, use a specific margin property on the child widget, for example margin_top.

Parameters:

this	a Container
border_width	amount of blank space to leave outside the container. Valid values are in the range 0-65535 pixels.