Source position: gtknotebook.pp line 134
procedure gtk_notebook_set_page(
notebook: PGtkNotebook;
page_num: gint
);