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