GtkNotebook::page_num

int page_num(GtkWidget child);

Finds the index of the page which contains the given child widget.