gui_mode_need_redraw 2407 core/gui.c     static int gui_mode_need_redraw = 0;    // Set if current mode needs to redraw itself
gui_mode_need_redraw 2419 core/gui.c         gui_mode_need_redraw = 0;
gui_mode_need_redraw 2424 core/gui.c         gui_mode_need_redraw = 1;
gui_mode_need_redraw 2984 core/gui.c         if (gui_mode_need_redraw)
gui_mode_need_redraw 2986 core/gui.c             gui_mode_need_redraw = 0;