void reorder_child(GtkWidget child, int position);