flag_gui_enforce_redraw 2959 core/gui.c     void gui_redraw(int flag_gui_enforce_redraw)
flag_gui_enforce_redraw 2964 core/gui.c             flag_gui_enforce_redraw = 1;
flag_gui_enforce_redraw 2980 core/gui.c             flag_gui_enforce_redraw = 1;
flag_gui_enforce_redraw 2987 core/gui.c     	    flag_gui_enforce_redraw = 1;
flag_gui_enforce_redraw 2994 core/gui.c         gui_handle_splash(flag_gui_enforce_redraw);
flag_gui_enforce_redraw 3004 core/gui.c             gui_mode->redraw(flag_gui_enforce_redraw);
flag_gui_enforce_redraw   76 include/gui.h  extern void gui_redraw(int flag_gui_enforce_redraw);