menu_set_increment_factor 2751 core/gui.c                 menu_set_increment_factor(1);
menu_set_increment_factor 2755 core/gui.c                 menu_set_increment_factor(menu_get_increment_factor() * 10);
menu_set_increment_factor 2767 core/gui.c                 menu_set_increment_factor(menu_calc_max_increment_factor(CAMERA_MAX_DIST));
menu_set_increment_factor 2771 core/gui.c                 menu_set_increment_factor(menu_get_increment_factor() / 10);
menu_set_increment_factor   83 core/gui_menu.h extern void menu_set_increment_factor(int n);