Added option to toggle display of toolbar (requested by JoeHill).
treeaeff20ad7f0c248c73ab3d7a52b0e82200f31864
-rw-r--r-- 3408 .DirIcon
-rw-r--r-- 6 .cvsignore
-rw-r--r-- 1123 AppInfo.xml
-rwxr-xr-x 1212 AppRun
-rw-r--r-- 20212 EditWindow.py
drwxr-xr-x - Help
drwxr-xr-x - Messages
-rw-r--r-- 2635 Options.xml
-rw-r--r-- 2526 buffer.py
-rw-r--r-- 3560 diff.py
-rw-r--r-- 2992 findrox.py
-rw-r--r-- 771 goto.py
drwxr-xr-x - images
-rw-r--r-- 7411 search.py