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);