page_num
Description:
public int page_num (
Widget child)
Finds the index of the page which contains the given child widget.
Parameters:
| this |
a `GtkNotebook`
|
| child |
a `GtkWidget`
|
Returns:
|
the index of the page containing child, or -1 if child is not in the notebook
|