jumpToScrollPosition method

void jumpToScrollPosition(
  1. double position
)

Implementation

void jumpToScrollPosition(double position) {
  var position0 = position;
  if (position < 0) position0 = 0;
  if (position > widget.constraints.width - widget.scrollWidth) {
    position0 = widget.constraints.width - widget.scrollWidth;
  }
  setState(() {
    scrollPosition = position0;
  });
  widget.scrollController.jumpTo(position0 * widget.scale);
}