don't import GUI stuff in dsl.py, use gui.py for that
authorRalf Jung <post@ralfj.de>
Sat, 6 Oct 2012 10:39:06 +0000 (12:39 +0200)
committerRalf Jung <post@ralfj.de>
Sat, 6 Oct 2012 10:39:06 +0000 (12:39 +0200)
commit1fabdda231c0be36747b39fd681773a03d1bcf93
tree2e88dba8cd5d7c0209da9e2dcdc1824c78f7b100
parenta2c35fab467d689e7e06dbedc3e1821e6e5a429e
don't import GUI stuff in dsl.py, use gui.py for that
dsl.py
gui.py [new file with mode: 0644]
selector_window.py