Source position: gtknotebook.pp line 130
procedure gtk_notebook_remove_page(
notebook: PGtkNotebook;
page_num: gint
);