Better options.
tree31d4ab143d0f29e88ec901f9217d4e1e350799b8
-rw-r--r-- 1673 AppIcon.xpm
-rw-r--r-- 314 AppInfo.xml
-rwxr-xr-x 476 AppRun
-rw-r--r-- 9598 EditWindow.py
drwxr-xr-x - Help
-rw-r--r-- 534 Options.xml
-rw-r--r-- 1727 buffer.py
-rw-r--r-- 1580 findrox.py
-rw-r--r-- 709 goto.py
drwxr-xr-x - icons
-rw-r--r-- 1945 search.py