int_options       376 src/setup.c    } int_options [] = {
int_options       523 src/setup.c        for (i = 0; int_options[i].opt_name != NULL; i++)
int_options       524 src/setup.c            *int_options[i].opt_addr =
int_options       525 src/setup.c                mc_config_get_int (mc_global.main_config, CONFIG_APP_SECTION, int_options[i].opt_name,
int_options       526 src/setup.c                                   *int_options[i].opt_addr);
int_options       747 src/setup.c        for (i = 0; int_options[i].opt_name != NULL; i++)
int_options       748 src/setup.c            mc_config_set_int (mc_global.main_config, CONFIG_APP_SECTION, int_options[i].opt_name,
int_options       749 src/setup.c                               *int_options[i].opt_addr);