This widget makes sure its one child never gets less screen space than the specified amount. It implicitly makes the child stretchable in that dimension.
