don't import GUI stuff in dsl.py, use gui.py for that
-rw-r--r-- 6 .gitignore
-rw-r--r-- 17988 COPYING
-rwxr-xr-x 6569 dsl.py
-rw-r--r-- 1072 gui.py
-rw-r--r-- 3616 selector_window.py