ReloadToCurrentDepth class final
Re-fetches every loaded page, so a pull keeps the user's scroll depth instead of snapping back to the start.
concurrency and onError only apply to index-based sources. A PageFetcher.withSignal source
needs page k-1 before page k, so its reload walks in order and is always atomic. Depth is still
kept, just without the tuning.
A page still loading when the pull happens is dropped and asked again, so stale data can't land on top of the fresh pages.
Constructors
- ReloadToCurrentDepth({int? concurrency = 1, ReloadOnError onError = .commitSucceeded})
-
Creates it.
const
Properties
- concurrency → int?
-
How many page fetches may run at once:
1(the default) sequential,nullall together,Kat mostKin flight. Ignored forwithSignalsources.final - hashCode → int
-
The hash code for this object.
no setterinherited
- onError → ReloadOnError
-
How the reload settles when a page fetch fails. Best-effort by default. Ignored for
withSignalsources, which are always atomic.final - runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
override
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited