r44: Greatly improved the options system. Choice of xterm process is now
treedb335c97034c03c20193d568d02f91a5092bd7b2
drwxr-xr-x - ROX-Filer