Source position: gnomemdichild.inc line 34
function gnome_mdi_child_add_view(
mdi_child: PGnomeMDIChild
):PGtkWidget;