setLeadingExtent method
Set the pixel extent for the leading pane.
Implementation
void setLeadingExtent(double extent) {
_leadingExtent = math.max(0.0, extent);
_isLeadingCollapsed = _leadingExtent == 0.0;
_isTrailingCollapsed = false;
notifyListeners();
}