int_options       374 src/setup.c    } int_options [] = {
int_options       521 src/setup.c        for (i = 0; int_options[i].opt_name != NULL; i++)
int_options       522 src/setup.c            *int_options[i].opt_addr =
int_options       523 src/setup.c                mc_config_get_int (mc_global.main_config, CONFIG_APP_SECTION, int_options[i].opt_name,
int_options       524 src/setup.c                                   *int_options[i].opt_addr);
int_options       745 src/setup.c        for (i = 0; int_options[i].opt_name != NULL; i++)
int_options       746 src/setup.c            mc_config_set_int (mc_global.main_config, CONFIG_APP_SECTION, int_options[i].opt_name,
int_options       747 src/setup.c                               *int_options[i].opt_addr);