void ResetTable(TableWidget widget)
{
widget.SetEntries(game.Servers);
widget.SetDrawData(drawer, tableFont, textFont,
Anchor.Min, Anchor.Min, tableX, tableY);
widget.SortDefault();
}
void MakeTableWidget()
{
int tableHeight = Math.Max(game.Height - tableY - 50, 1);
TableWidget widget;
if (widgets[tableIndex] != null)
{
widget = (TableWidget)widgets[tableIndex];
}
else
{
widget = new TableWidget(game);
widget.SetEntries(game.Session.Servers);
widget.SetDrawData(drawer, tableFont, textFont,
Anchor.LeftOrTop, Anchor.LeftOrTop, tableX, tableY);
widget.SortDefault();
widgets[widgetIndex] = widget;
}
widget.Height = tableHeight;
widgetIndex++;
}