default_group     105 src/filemanager/ext.c static const char *default_group = "Default";
default_group     939 src/filemanager/ext.c             || strcmp (g, default_group) == 0)
default_group    1047 src/filemanager/ext.c         current_group = default_group;
default_group    1059 src/filemanager/ext.c             action_value = mc_config_get_string_raw (ext_ini, default_group, action, NULL);