update_int_value  569 core/gui_menu.c                         update_int_value(&curr_menu->menu[gui_menu_curr_item],-1);
update_int_value  589 core/gui_menu.c                                     update_int_value(&c[0],-1);
update_int_value  608 core/gui_menu.c                         update_int_value(&curr_menu->menu[gui_menu_curr_item],1);
update_int_value  631 core/gui_menu.c                                     update_int_value(&c[0],1);