public MazeConfigForm(MazeController control) {
MazePanel panel = new MazePanel(control);
this.Padding = new Padding(0);
this.FormBorderStyle = FormBorderStyle.Fixed3D;
this.AutoSize = true;
this.Controls.Add(panel);
}
public MazePanel(MazeController control) {
this.Width = CELL_SIZE * control.Maze.Width;
this.Height = CELL_SIZE * control.Maze.Height;
this.Margin = new Padding(0);
this.SetStyle(ControlStyles.UserPaint | ControlStyles.AllPaintingInWmPaint | ControlStyles.OptimizedDoubleBuffer, true);
this.control = control;
control.OnChange += new MazeController.ChangeHandler(maze_OnChange);
}
public MazeReporter(MazeController control) {
this.control = control;
}
public MazePlugin() {
control = new MazeController();
reporter = new MazeReporter(control);
}
