• Cosimo Cecchi's avatar
    range: use border box for slider area · 0883ff5e
    Cosimo Cecchi authored
    Since we can use negative margins, we should not use the margin box
    for the slider area. Use the border box instead, since that's what is
    typically mapped to the visible area.
    0883ff5e
gtkrange.c 123 KB