gui_update_script_submenu   13 core/gui_script.c static void gui_update_script_submenu();
gui_update_script_submenu  747 core/gui_script.c     gui_update_script_submenu();
gui_update_script_submenu  768 core/gui_script.c         gui_update_script_submenu();
gui_update_script_submenu  804 core/gui_script.c     gui_update_script_submenu();