public void modifyPlayer(Player player, string newname, bool terran, bool zerg, bool protoss, bool random)
{
bool checkedItem = checkedListBoxHumanPlayers.GetItemChecked(checkedListBoxHumanPlayers.Items.IndexOf(player));
checkedListBoxHumanPlayers.Items.Remove(player);
core.modifyPlayer(player, newname, terran, zerg, protoss, random);
checkedListBoxHumanPlayers.Items.Add(core.HumanPlayers[newname], checkedItem);
checkedListBoxHumanPlayers.SelectedItem = core.HumanPlayers[newname];
updateDetailsDisplay();
}
