int_options       378 src/setup.c    } int_options[] = {
int_options       531 src/setup.c        for (i = 0; int_options[i].opt_name != NULL; i++)
int_options       532 src/setup.c            *int_options[i].opt_addr =
int_options       533 src/setup.c                mc_config_get_int (mc_global.main_config, CONFIG_APP_SECTION, int_options[i].opt_name,
int_options       534 src/setup.c                                   *int_options[i].opt_addr);
int_options       754 src/setup.c        for (i = 0; int_options[i].opt_name != NULL; i++)
int_options       755 src/setup.c            mc_config_set_int (mc_global.main_config, CONFIG_APP_SECTION, int_options[i].opt_name,
int_options       756 src/setup.c                               *int_options[i].opt_addr);