Diff
Not logged in

Differences From Artifact [4cc6400795e7a727]:

To Artifact [e56b333ba2eacac4]:


22 22 if(automate) { 23 23 Timer t = new Timer; 24 24 t.interval = 100; 25 25 t.tick ~= (Timer sender, EventArgs ea){ 26 26 fn(solver.single_step()); 27 27 }; 28 28 t.start(); 29 + this.closing ~= (Form f,CancelEventArgs c){t.stop();}; 29 30 } 30 31 Application.run(this); 31 32 } 32 33 33 34 override void on_game_changed(char c, const(Game) g, bool finished) 34 35 { 35 36 draw(g);