Fixes bugs with pausing

2017-11-01 10:19:22 -07:00
parent 20b25125d8
commit af1e2e042e
7 changed files with 162987 additions and 92 deletions
--- a/gui.py
+++ b/gui.py
@ -17,7 +17,7 @@ def main():
    parser.add_argument('--seed', type=int, default=None, help='Provide a deterministic seed for the RNG.')
    options = parser.parse_args()

-    copycat = Copycat(reporter=SimpleReporter(), rng_seed=options.seed)
+    copycat = Copycat(reporter=SimpleReporter(), rng_seed=options.seed, gui=True)
    copycat.runGUI()

 if __name__ == '__main__':