Changes for new SaveBox widget.
treeb16d932ea2d1a66689c7d98d9b0e6e0aae88f875
-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-- 519 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