default_group     110 src/filemanager/ext.c static const char *default_group = "Default";
default_group     955 src/filemanager/ext.c             || strcmp (g, default_group) == 0)
default_group    1063 src/filemanager/ext.c         current_group = default_group;
default_group    1075 src/filemanager/ext.c             action_value = mc_config_get_string_raw (ext_ini, default_group, action, NULL);