Source position: gtknotebook.inc line 133
procedure gtk_notebook_set_current_page(
notebook: PGtkNotebook;
page_num: gint
);