Source position: gtknotebook.inc line 170
function gtk_notebook_get_menu_label_text(
notebook: PGtkNotebook;
child: PGtkWidget
):Pgchar;