e426f8ac47
We must reduce the forWidth in the call to get_preferred_height() with the border width, otherwise we might request a smaller height that we actually need and overflow. https://bugzilla.gnome.org/show_bug.cgi?id=696564