mainAxisExtent property
The amount of space this widget takes in the direction of the parent.
If the parent is a Column this is the height of this widget. If the parent is a Row this is the width of this widget.
Must not be null and must be positive.
Implementation
final double mainAxisExtent;