PHP-GTK Manual
This manual is provided as a courtesy. It is not an official source. Please check gtk.php.net for updated information.
set_border_width() sets the width of the container's border, in pixels.
The default setting is 0.