Source position: gtknotebook.pp line 152
procedure gtk_notebook_set_menu_label_text(
notebook: PGtkNotebook;
child: PGtkWidget;
menu_text: Pgchar
);