changeIndex method

void changeIndex(
  1. Widget child
)

Implementation

void changeIndex(Widget child) {
  var index = children.indexOf(child);
  if (index >= 0) {
    var child = children.removeAt(index);
    children.insert(children.length - 1, child);
    levels.add(levels.removeAt(index));
  }
  update();
}