-
Cosimo Cecchi authored
Let the tab overlap eat the padding, otherwise having tab-overlap > tab-curvature without cutting the label is impossible. This way we give the label widget all the allocation possible before giving up and cutting it if the values for tab-overlap are too extreme for the given padding.
a54ca77f