reorder_child


Description:

public void reorder_child (Widget child, int position)

Moves child to a new position in the list of this children.

Parameters:

this

a Menu

child

the MenuItem to move

position

the new position to place child. Positions are numbered from 0 to n - 1




2022 vala-language.org