jumpTo method Null safety
- double pixels
pixels from its current value to the given value,
without animation, and without checking if the new value is in range.
- correctBy, for changing the current offset in the middle of layout and that defers the notification of its listeners until after layout.
void jumpTo(double pixels);