This makes it too small when using GTK+ 3.22, resulting in GTK+ debug messages about not having enough space for it -- and is, of course, wrong anyhow, as we should always let controls determine their own best size.