reorder_child

Description:

public void reorder_child (Widget child, int position)

Reorders the page containing child, so that it appears in position position.

If position is greater than or equal to the number of children in the list or negative, child will be moved to the end of the list.

this	a Notebook
child	the child to move
position	the new position, or -1 to move to the end