int_options       373 src/setup.c    } int_options[] = {
int_options       527 src/setup.c        for (i = 0; int_options[i].opt_name != NULL; i++)
int_options       528 src/setup.c            *int_options[i].opt_addr =
int_options       529 src/setup.c                mc_config_get_int (mc_global.main_config, CONFIG_APP_SECTION, int_options[i].opt_name,
int_options       530 src/setup.c                                   *int_options[i].opt_addr);
int_options       750 src/setup.c        for (i = 0; int_options[i].opt_name != NULL; i++)
int_options       751 src/setup.c            mc_config_set_int (mc_global.main_config, CONFIG_APP_SECTION, int_options[i].opt_name,
int_options       752 src/setup.c                               *int_options[i].opt_addr);