protected void RefreshHistoryCards()
{
int[] history = new int[HistoryCards.Count];
for (int i = 0; i < history.Length; i++)
{
history[i] = HistoryCardsCtrl.MaxMahjongNum - HistoryCards[i + 1];
}
HistoryCardsCtrl.RefreshData(history);
}
