If the window is destroyed, write any further messages to stdout instead
tree91d339d7caaab2ec3ff13edade2f98b4179c6ee7
-rwxr-xr-x 2738 0compile
-rw-r--r-- 4081 0compile.1
-rw-r--r-- 1600 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 12983 autocompile.py
-rw-r--r-- 781 bugs.py
-rw-r--r-- 17159 build.py
-rw-r--r-- 394 clean.py
-rw-r--r-- 1596 copysrc.py
-rw-r--r-- 1311 gui.py
-rw-r--r-- 11909 gui_support.py
-rw-r--r-- 1262 include_deps.py
-rw-r--r-- 2060 publish.py
-rw-r--r-- 1975 setup.py
-rw-r--r-- 10096 support.py
drwxr-xr-x - tests