• Cosimo Cecchi's avatar
    notebook: fixup the last commit · a54ca77f
    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.
gtknotebook.c 253 KB