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
|