-
Timm Bäder authored
We use a label_sizing_box to make sure the headerbar can always contain both a title and a subtitle without resizing when showing/hiding either of them, but we should only do that for the height; the min width of the label_box can be larger than that of the label_sizing_box.
58891c1f