• branch=trunk inherited from [16f0b5784f]
• sym-trunk inherited from [16f0b5784f]

Modified src/gui.d from [4cc6400795e7a727] to [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);