diff -ru -X exclude psi-clean/src/options/ui_options.ui psi/src/options/ui_options.ui --- psi-clean/src/options/ui_options.ui Tue Nov 25 20:16:46 2003 +++ psi/src/options/ui_options.ui Sun Feb 15 22:21:06 2004 layout3 @@ -73,7 +87,7 @@ - 7 + 3 3 0 0