CVS commit by gerken: Usability fix M +35 -30 dlgpreferences.ui 1.13