Include options stuff.
treec74dd846c800e5357a7291a67031d4f63da0e230
-rw-r--r-- 3408 .DirIcon
-rw-r--r-- 6 .cvsignore
-rw-r--r-- 908 AppInfo.xml
-rwxr-xr-x 835 AppRun
-rw-r--r-- 17546 EditWindow.py
drwxr-xr-x - Help
drwxr-xr-x - Messages
-rw-r--r-- 1519 Options.xml
-rw-r--r-- 2526 buffer.py
-rw-r--r-- 2718 findrox.py
-rw-r--r-- 771 goto.py
-rw-r--r-- 7411 search.py