gui_menu_erase_and_redraw 1763 core/gui.c         gui_menu_erase_and_redraw();
gui_menu_erase_and_redraw  273 core/gui_menu.c     gui_menu_erase_and_redraw();
gui_menu_erase_and_redraw  284 core/gui_menu.c         gui_menu_erase_and_redraw();
gui_menu_erase_and_redraw  447 core/gui_menu.c     gui_menu_erase_and_redraw();
gui_menu_erase_and_redraw   77 core/gui_menu.h extern void gui_menu_erase_and_redraw();
gui_menu_erase_and_redraw  102 modules/user_menu_edit.c     gui_menu_erase_and_redraw();
gui_menu_erase_and_redraw  137 modules/user_menu_edit.c     gui_menu_erase_and_redraw();
gui_menu_erase_and_redraw  217 modules/user_menu_edit.c     gui_menu_erase_and_redraw();
gui_menu_erase_and_redraw  250 modules/user_menu_edit.c     gui_menu_erase_and_redraw();
gui_menu_erase_and_redraw  325 modules/user_menu_edit.c         gui_menu_erase_and_redraw();
gui_menu_erase_and_redraw  353 modules/user_menu_edit.c     gui_menu_erase_and_redraw();
gui_menu_erase_and_redraw  580 modules/user_menu_edit.c         gui_menu_erase_and_redraw();
gui_menu_erase_and_redraw  716 modules/user_menu_edit.c     gui_menu_erase_and_redraw();