Updated GUI to new configuration system
tree571c370746cb6c570ee0c450a56da836e8965030
-rwxr-xr-x 2718 0compile
-rw-r--r-- 3320 0compile.1
-rw-r--r-- 1600 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 781 bugs.py
-rw-r--r-- 11173 build.py
-rw-r--r-- 1596 copysrc.py
-rw-r--r-- 1348 gui.py
-rw-r--r-- 12242 gui_support.py
-rw-r--r-- 1232 include_deps.py
-rw-r--r-- 1655 publish.py
-rw-r--r-- 3010 setup.py
-rw-r--r-- 9354 support.py
drwxr-xr-x - tests