extension_file    804 src/filemanager/ext.c     char *extension_file;
extension_file    808 src/filemanager/ext.c     extension_file = mc_config_get_full_path (MC_EXT_FILE);
extension_file    809 src/filemanager/ext.c     if (!exist_file (extension_file))
extension_file    811 src/filemanager/ext.c         g_free (extension_file);
extension_file    816 src/filemanager/ext.c         extension_file = mc_build_filename (mc_global.sysconfig_dir, MC_EXT_FILE, (char *) NULL);
extension_file    817 src/filemanager/ext.c         if (!exist_file (extension_file))
extension_file    819 src/filemanager/ext.c             g_free (extension_file);
extension_file    820 src/filemanager/ext.c             extension_file =
extension_file    822 src/filemanager/ext.c             if (!exist_file (extension_file))
extension_file    823 src/filemanager/ext.c                 MC_PTR_FREE (extension_file);
extension_file    828 src/filemanager/ext.c     if (extension_file != NULL)
extension_file    830 src/filemanager/ext.c         ext_ini = mc_config_init (extension_file, TRUE);
extension_file    831 src/filemanager/ext.c         g_free (extension_file);
extension_file    857 src/filemanager/ext.c         extension_file = mc_config_get_full_path (MC_EXT_FILE);
extension_file    861 src/filemanager/ext.c                  extension_file, mc_global.sysconfig_dir, MC_EXT_FILE);
extension_file    862 src/filemanager/ext.c         g_free (extension_file);