Menu.reorderChild

void reorderChild(gtk.widget.Widget child, int position)

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

Parameters

childthe #GtkMenuItem to move
positionthe new position to place child. Positions are numbered from 0 to n - 1