jumpTo method

  1. @override
void jumpTo(
  1. double value
)
override

When this position is driven externally (no real viewport / notification context) use syncPixels so we never dereference a null notificationContext.

Implementation

@override
void jumpTo(double value) {
  if (context.notificationContext == null) {
    syncPixels(value);
  } else {
    super.jumpTo(value);
  }
}