/// <summary>
/// Event handler for when the Number of Players menu entry is selected.
/// </summary>
void playersMenuEntrySelected(object sender, PlayerIndexEventArgs e)
{
currentNoPlayers = (currentNoPlayers + 1) % players.Length;
SetMenuEntryText();
}
/// <summary>
/// Event handler for when the Board Type menu entry is selected.
/// </summary>
void boardTypeMenuEntrySelected(object sender, PlayerIndexEventArgs e)
{
currentBoardType = (currentBoardType + 1) % boardType.Length;
SetMenuEntryText();
}