tty_flush_winch 84 lib/tty/tty.h extern void tty_flush_winch (void); tty_flush_winch 390 lib/widget/dialog-switch.c tty_flush_winch (); tty_flush_winch 550 src/execute.c tty_flush_winch ();