The height that the whole widget will take. If left null, then the original proportion factor will be used to calculate this value from the width.
@override final double? height;