flag_gui_enforce_redraw 2977 core/gui.c         int flag_gui_enforce_redraw = 0;
flag_gui_enforce_redraw 2982 core/gui.c             flag_gui_enforce_redraw = 1;
flag_gui_enforce_redraw 2998 core/gui.c             flag_gui_enforce_redraw = 1;
flag_gui_enforce_redraw 3005 core/gui.c     	    flag_gui_enforce_redraw = 1;
flag_gui_enforce_redraw 3012 core/gui.c         gui_handle_splash(flag_gui_enforce_redraw);
flag_gui_enforce_redraw 3022 core/gui.c             gui_mode->redraw(flag_gui_enforce_redraw);