maxScrollExtent property
double
get
maxScrollExtent
Maximum scroll extent based on direction (scrollHeight/clientHeight or scrollWidth/clientWidth).
Implementation
double get maxScrollExtent {
if (_attachedElement == null) return 0.0;
if (direction == ScrollDirection.vertical) {
return (_attachedElement!.scrollHeight - _attachedElement!.clientHeight)
.toDouble();
} else {
return (_attachedElement!.scrollWidth - _attachedElement!.clientWidth)
.toDouble();
}
}