f70fe6e6 regression: options dialog is a bit broken

[Noel Grandin]

On 2012-06-05 14:40, Caolán McNamara wrote:
> use glade as visual widget editor). In that world it should (eventually
> anyway) be possible to just hide the unwanted widgets and the layout
> will do the right thing automatically.
>

Awesome stuff!
Finally, a world where changing my system font size does not mess up all 
my application dialogs !!
:-)