Source position: gtkmenu.pp line 67
procedure gtk_menu_reorder_child(
menu: PGtkMenu;
child: PGtkWidget;
position: gint
);