/// <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();
 }