Up

_gtkContainerBorderSet

_gtkContainerBorderSet sets the border width to a Containers object. The border width is the amount of space to leave around the outside of the container (except to a toplevel window, of course).

Prototype : fun [* I] *

• * : a widget Containers object.
• I : a new border width.
• Return * : the same object or nil if an error occurs.

See also

• _gtkContainerBorderGet

Example