global_menu      1017 src/usermenu.c             const char *global_menu;
global_menu      1019 src/usermenu.c             global_menu = edit_widget != NULL ? EDIT_GLOBAL_MENU : MC_GLOBAL_MENU;
global_menu      1022 src/usermenu.c             menu = mc_build_filename (mc_config_get_home_dir (), global_menu, (char *) NULL);
global_menu      1026 src/usermenu.c                 menu = mc_build_filename (mc_global.sysconfig_dir, global_menu, (char *) NULL);
global_menu      1030 src/usermenu.c                     menu = mc_build_filename (mc_global.share_data_dir, global_menu, (char *) NULL);