protected override void MouseWheelChanged(object sender, MouseWheelEventArgs e)
{
LauncherTableWidget table = (LauncherTableWidget)widgets[tableIndex];
table.CurrentIndex -= e.Delta;
table.ClampIndex();
Resize();
}
void FilterList()
{
if (lastInput != widgets[searchIndex])
{
return;
}
LauncherTableWidget table = (LauncherTableWidget)widgets[tableIndex];
table.FilterEntries(lastInput.Text);
table.ClampIndex();
Resize();
}
public override void Resize()
{
DrawBackground();
LauncherTableWidget table = (LauncherTableWidget)widgets[tableIndex];
if (table != null)
{
table.ClampIndex();
}
MakeWidgets();
RedrawAllButtonBackgrounds();
using ( drawer ) {
drawer.SetBitmap(game.Framebuffer);
RedrawAll();
}
Dirty = true;
}
