correctBy method Null safety
- double correction
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.
void correctBy(double correction);