console_redraw_flag  199 core/console.c static int  console_redraw_flag;
console_redraw_flag  207 core/console.c     console_redraw_flag = 1;
console_redraw_flag  215 core/console.c     if (console_redraw_flag)
console_redraw_flag  243 core/console.c         console_redraw_flag = 0;
console_redraw_flag  257 core/console.c             console_redraw_flag = 1;
console_redraw_flag  265 core/console.c             console_redraw_flag = 1;