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 Nov 30 16:57:20 2003 @@ -9,7 +9,7 @@ 0 0 408 - 292 + 295 @@ -54,6 +54,20 @@ LastColumn + + + line2 + + + VLine + + + Sunken + + + Vertical + + layout3