Better colour-scheme.
[dom-editor.git] / Dome / 
tree748bd8ce3669d8dabda8e472378fe8c2a899ab6c
drwxr-xr-x   ..
-rw-r--r-- 6 .cvsignore
-rw-r--r-- 4003 AppIcon.xpm
-rw-r--r-- 236 AppInfo.xml
-rwxr-xr-x 1828 AppRun
-rw-r--r-- 132 Beep.py
-rw-r--r-- 2745 Canvas.py
-rw-r--r-- 15047 Display2.py
-rw-r--r-- 234 Dome.xml
-rw-r--r-- 17844 GUIView.py
-rw-r--r-- 2058 GetArg.py
-rw-r--r-- 1526 HTML.py
drwxr-xr-x - Help
-rw-r--r-- 252 Html.py
-rw-r--r-- 30771 List.py
-rw-r--r-- 15642 Model.py
-rw-r--r-- 5433 Namespaces.py
-rw-r--r-- 225 Options.xml
-rw-r--r-- 3279 Path.py
-rw-r--r-- 12985 Program.py
-rw-r--r-- 48631 View.py
-rw-r--r-- 6834 Window.py
-rw-r--r-- 153 constants.py
-rw-r--r-- 330 debug.py
-rw-r--r-- 2717 findrox.py
drwxr-xr-x - icons
-rw-r--r-- 1140 loader.py
-rwxr-xr-x 3052 nogui.py
-rw-r--r-- 3016 support.py
-rw-r--r-- 1789 to_html.py
-rw-r--r-- 5825 xslt.py