Source position: gnomepropertybox.inc line 34
function gnome_property_box_append_page(
property_box: PGnomePropertyBox;
child: PGtkWidget;
tab_label: PGtkWidget
):gint;