I see that grow and push accept an optional weighting parameter, but apart from that: what is the real difference between grow, fill, and push? The do
The push constraint does affect elements. It is only one of its contexts where
it makes gaps greedy.
The answer is a bit more complex. I have provided it in a more recent question.
push affects only gaps, not elements, as far as I know.
If a component is set to fill, this means to set all subcomponents to grow, while grow affects the component directly.