Lines Matching full:console_refresh
658 static void console_refresh(TextConsole *s)722 console_refresh(s);1248 console_refresh(s);
