frozenExtent property
The total extent of the frozen headers in this axis.
Implementation
late final double frozenExtent = (() {
var result = 0.0;
for (var i = 0; i < frozenCount; i++) {
result += getHeaderExtentFor(index: i);
}
return result;
})();