Paginator.reorder

Moves @child into position @position.

If position is -1, or larger than the number of pages, @child will be moved to the end.

class Paginator
void
reorder
(
Widget child
,
)

Parameters

child
Type: Widget

a widget to add

position
Type: int

the position to move @child to.

Meta

Since

0.0.11