Source position: gtknotebook.pp line 129
procedure gtk_notebook_insert_page_menu(
notebook: PGtkNotebook;
child: PGtkWidget;
tab_label: PGtkWidget;
menu_label: PGtkWidget;
position: gint
);