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++; }