position_changed

Description:

public void position_changed (int old_index, int new_index)

The position of one of the elements in the array changed