Exemplo n.º 1
0
        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();
                }
            }
        }
Exemplo n.º 2
0
 private void FilterTextValueChanged()
 {
     filterTextDebouncer.Trigger();
 }