enlarge preferences dialog

Height increased, so that widgets are no longer cropped with GTK.