Source position: gtknotebook.pp line 147
function gtk_notebook_get_tab_label(
notebook: PGtkNotebook;
child: PGtkWidget
):PGtkWidget;