Change name according to save type.
[dom-editor.git] / Dome / 
treec18707799231076ae7b7ee05211876f05554d970
drwxr-xr-x   ..
-rw-r--r-- 6 .cvsignore
-rw-r--r-- 4003 AppIcon.xpm
-rw-r--r-- 236 AppInfo.xml
-rwxr-xr-x 1177 AppRun
-rw-r--r-- 91 Beep.py
-rw-r--r-- 2753 Canvas.py
-rw-r--r-- 14437 Display.py
-rw-r--r-- 193 Dome.xml
-rw-r--r-- 16057 GUIView.py
-rw-r--r-- 2206 GetArg.py
-rw-r--r-- 1526 HTML.py
drwxr-xr-x - Help
-rw-r--r-- 252 Html.py
-rw-r--r-- 26039 List.py
-rw-r--r-- 12656 Model.py
-rw-r--r-- 225 Options.xml
-rw-r--r-- 3598 Path.py
-rw-r--r-- 12498 Program.py
-rw-r--r-- 47743 View.py
-rw-r--r-- 5107 Window.py
-rw-r--r-- 153 constants.py
-rw-r--r-- 330 debug.py
-rw-r--r-- 1580 findrox.py
drwxr-xr-x - icons
-rw-r--r-- 1140 loader.py
-rwxr-xr-x 2217 nogui.py
-rw-r--r-- 1540 support.py
-rw-r--r-- 4646 xslt.py