When distributing space we should honour the other widgets min-size too, and not give too much Since the layouting code is complex, this won't be backported to 1.3
