Source position: gtknotebook.pp line 126
procedure gtk_notebook_prepend_page(
notebook: PGtkNotebook;
child: PGtkWidget;
tab_label: PGtkWidget
);