crossAxisExtent property
The amount of space this widget takes in the opposite direction of the parent.
If the parent is a Column this is the width of this widget. If the parent is a Row this is the height of this widget.
Must be positive or null. If it's null (the default) the cross axis extent will be the same as the constraints of the parent in the opposite direction.
Implementation
final double? crossAxisExtent;