int_options       380 src/setup.c    } int_options[] = {
int_options       534 src/setup.c        for (i = 0; int_options[i].opt_name != NULL; i++)
int_options       535 src/setup.c            *int_options[i].opt_addr =
int_options       536 src/setup.c                mc_config_get_int (mc_global.main_config, CONFIG_APP_SECTION, int_options[i].opt_name,
int_options       537 src/setup.c                                   *int_options[i].opt_addr);
int_options       757 src/setup.c        for (i = 0; int_options[i].opt_name != NULL; i++)
int_options       758 src/setup.c            mc_config_set_int (mc_global.main_config, CONFIG_APP_SECTION, int_options[i].opt_name,
int_options       759 src/setup.c                               *int_options[i].opt_addr);