-
Benjamin Otte authored
We need to clip again so we don't overdraw the headers, but setting overflow does the right thing with header widgetry.
3d05e677
We need to clip again so we don't overdraw the headers, but setting overflow does the right thing with header widgetry.