void HandleAddplayer_toolbuttonClicked(object sender, EventArgs e)
{
BattleEngine.RandomName rname = new BattleEngine.RandomName(this.GameEngine.RandomEngine);
BattleEngine.Player.Player p = new BattleEngine.Player.Player(rname.GetRandomName());
this.GameEngine.AddPlayer(p);
}
void HandleAddplayer_toolbuttonClicked(object sender, EventArgs e)
{
BattleEngine.RandomName rname = new BattleEngine.RandomName (this.GameEngine.RandomEngine);
BattleEngine.Player.Player p = new BattleEngine.Player.Player (rname.GetRandomName ());
this.GameEngine.AddPlayer (p);
}