preferencesdialog.ui: Fixes #23