correctBy method
Apply a layout-time correction to the scroll offset.
This method should change the pixels value by correction
, but without
calling notifyListeners. It is called during layout by the
RenderViewport, before applyContentDimensions. After this method is
called, the layout will be recomputed and that may result in this method
being called again, though this should be very rare.
See also:
Implementation
void correctBy(double correction);