private void info(PlayerInfoFilename info)
{
if (info == null)
{
return;
}
using (AntProperties properties = new AntProperties(info))
{
properties.ShowDialog(this);
}
}
private void propertyLabel_LinkClicked(object sender, LinkLabelLinkClickedEventArgs e)
{
if (setup.PlayerInfo == null)
{
return;
}
using (AntProperties properties = new AntProperties(setup.PlayerInfo))
{
properties.ShowDialog(this);
}
}
private void detailsButton_Click(object sender, EventArgs e)
{
AntProperties properties = new AntProperties(playerInfo);
properties.ShowDialog(this);
}
/// <summary>
/// Shows the property-window for ants.
/// </summary>
/// <param name="player">target player</param>
private void playerProperties(PlayerInfoFilename player)
{
AntProperties properties = new AntProperties(player);
properties.ShowDialog(this);
}
