format property
Which way of describing a widget produced this tree — see
GuestInspector.treeFormat. Null for a tree read before formats were
recorded, or read by something other than the guest's own walk.
What lets a comparison tell a changed widget from a changed reader. Its
two sides are captured by two checkouts' own package:flutterware, and
a version that learned to spell Text.rich as Text("…") reported every
one of them as changed against the version before it — a hundred rows
on a branch that only bumped the dependency, and not one pixel moved.
Implementation
final int? format;