public PlayForm(PinballMachine pbm, SelectionForm selectionForm)
        {
            InitializeComponent();

            // Initialize game
            originalMachine = pbm;
            game = new Game(pbm, Environment.UserName);
            gameView = new GameView(game);
            gameContainer = new WPFContainer(gameView);
            game.GameOver += onGameOver;
            //this.MinimumSize = gameView.MinimumSize;
            gameView.MouseUp += onMouseUp;
            gameView.MouseMove += onMouseMove;
            // Fill entire space
            gameContainer.Dock = DockStyle.Fill;

            mainContainer.ContentPanel.Controls.Add(gameContainer);

            this.selectionForm = selectionForm;

            debugModeButton.Checked =  Properties.Settings.Default.Debug;
        }
 public EditorForm(PinballMachine pbm, SelectionForm selectionForm)
     : this()
 {
     this.selectionForm = selectionForm;
     loadMachine(pbm);
 }
 public EditorForm(SelectionForm selectionForm)
     : this()
 {
     this.selectionForm = selectionForm;
 }