page_num

Description:

public int page_num (Widget child)

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

this	a `GtkNotebook`
child	a `GtkWidget`

the index of the page containing child, or -1 if child is not in the notebook