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

Modified src/gui.d from [4cc6400795e7a727] to [e56b333ba2eacac4].

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