use a gtkdialog for preferences, to have a more consistent look and feel