private void DebounceResize()
{
console.Clear();
bool done = false;
ActionDebouncer debouncer = new ActionDebouncer(TimeSpan.FromSeconds(.25), () =>
{
done = true;
});
debouncer.Trigger();
while (done == false)
{
if (console.BufferWidth != lastConsoleWidth || console.WindowHeight != lastConsoleHeight)
{
lastConsoleWidth = console.BufferWidth;
lastConsoleHeight = console.WindowHeight;
debouncer.Trigger();
}
}
}
private void FilterTextValueChanged()
{
filterTextDebouncer.Trigger();
}