gui_mode_need_redraw 2426 core/gui.c     static int gui_mode_need_redraw = 0;    // Set if current mode needs to redraw itself
gui_mode_need_redraw 2438 core/gui.c         gui_mode_need_redraw = 0;
gui_mode_need_redraw 2443 core/gui.c         gui_mode_need_redraw = 1;
gui_mode_need_redraw 3002 core/gui.c         if (gui_mode_need_redraw)
gui_mode_need_redraw 3004 core/gui.c             gui_mode_need_redraw = 0;