Better options layout.
tree582a380d0c3a07fd8c95ea490f949012a71a6af9
-rw-r--r-- 3408 .DirIcon
-rw-r--r-- 6 .cvsignore
-rw-r--r-- 908 AppInfo.xml
-rwxr-xr-x 1212 AppRun
-rw-r--r-- 19737 EditWindow.py
drwxr-xr-x - Help
drwxr-xr-x - Messages
-rw-r--r-- 2183 Options.xml
-rw-r--r-- 2526 buffer.py
-rw-r--r-- 3560 diff.py
-rw-r--r-- 2717 findrox.py
-rw-r--r-- 771 goto.py
drwxr-xr-x - images
-rw-r--r-- 7411 search.py