Source position: gtknotebook.inc line 167
function gtk_notebook_get_menu_label(
notebook: PGtkNotebook;
child: PGtkWidget
):PGtkWidget;