Source position: gtknotebook.pp line 133
function gtk_notebook_page_num(
notebook: PGtkNotebook;
child: PGtkWidget
):gint;