global_menu      1056 src/usermenu.c             const char *global_menu;
global_menu      1058 src/usermenu.c             global_menu = edit_widget != NULL ? EDIT_GLOBAL_MENU : MC_GLOBAL_MENU;
global_menu      1061 src/usermenu.c             menu = mc_build_filename (mc_config_get_home_dir (), global_menu, (char *) NULL);
global_menu      1065 src/usermenu.c                 menu = mc_build_filename (mc_global.sysconfig_dir, global_menu, (char *) NULL);
global_menu      1069 src/usermenu.c                     menu = mc_build_filename (mc_global.share_data_dir, global_menu, (char *) NULL);