Extracted from Pike v7.4 release 341 at 2005-11-21.
pike.ida.liu.se
[Top]
predef::
Gnome
Gnome.PropertyBox

Method Gnome.PropertyBox()->append_page()


Method append_page

int append_page(GTK.Widget child, GTK.Widget tab_label)

Description

Appends a new page to the Gnome.PropertyBox. widget is the widget that is being inserted, and tab_label will be used as the label for this configuration page.