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.

Parameters:

this

a `GtkNotebook`

child

the child to move

position

the new position, or -1 to move to the end




2022 vala-language.org