private void handleWidgetSelection(Widget widget, ref bool handled)
{
if (widget.UserData is EnumWindows.WindowInfo)
{
handleWindowSelect((EnumWindows.WindowInfo)widget.UserData);
handled = true;
}
else
{
switch (widget.Value)
{
case "@Quit":
if (EvtDone != null)
{
EvtDone.BeginInvoke(null, null);
}
break;
case "@WindowListSort":
switchSortOrder();
break;
case "@WindowListNextPage":
gotoNextPage();
break;
case "@WindowListPrevPage":
gotoPreviousPage();
break;
case "@WindowListSearch":
if (EvtShowScanner != null)
{
EvtShowScanner.BeginInvoke(null, null, null, null);
}
break;
case "@WindowListClearFilter":
ClearFilter();
break;
default:
handled = false;
break;
}
}
}