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