Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
GTK
GTK.Container

Methods
 add()
 border_width()
 children()
 focus()
 remove()
 set_border_width()
 set_focus_child()
 set_focus_hadjustment()
 set_focus_vadjustment()
 set_resize_mode()
previousGTK.Container()->remove()
GTK.Container()->set_focus_child()next

Method GTK.Container()->set_border_width()

Method set_border_width

GTK.Container set_border_width(int external_border_width)

Description

Set the border width. The border width is the size of the padding around the container. Calling this function might result in a resize of the container.