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_style() is used when some or all of the elements that make up an individual widget's default style property are being overwritten by a different instance of a GtkStyle object.
See also: GtkStyle, copy() .