-
Matthias Clasen authored
This is not a perfect solution; we really just want to set a nice default size, but GTK+ does not make that easy.
6fb69845
This is not a perfect solution; we really just want to set a nice default size, but GTK+ does not make that easy.