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

Methods
 append_page()
 changed()
 create()
 set_state()
previousGnome.PropertyBox
Gnome.PropertyBox()->changed()next

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.