update_int_value  566 core/gui_menu.c                         update_int_value(&curr_menu->menu[gui_menu_curr_item],-1);
update_int_value  586 core/gui_menu.c                                     update_int_value(&c[0],-1);
update_int_value  605 core/gui_menu.c                         update_int_value(&curr_menu->menu[gui_menu_curr_item],1);
update_int_value  628 core/gui_menu.c                                     update_int_value(&c[0],1);