Source position: gtknotebook.inc line 164
procedure gtk_notebook_set_tab_label(
notebook: PGtkNotebook;
child: PGtkWidget;
tab_label: PGtkWidget
);