extension_file    806 src/filemanager/ext.c     char *extension_file;
extension_file    810 src/filemanager/ext.c     extension_file = mc_config_get_full_path (MC_EXT_FILE);
extension_file    811 src/filemanager/ext.c     if (!exist_file (extension_file))
extension_file    813 src/filemanager/ext.c         g_free (extension_file);
extension_file    818 src/filemanager/ext.c         extension_file = mc_build_filename (mc_global.sysconfig_dir, MC_EXT_FILE, (char *) NULL);
extension_file    819 src/filemanager/ext.c         if (!exist_file (extension_file))
extension_file    821 src/filemanager/ext.c             g_free (extension_file);
extension_file    822 src/filemanager/ext.c             extension_file =
extension_file    824 src/filemanager/ext.c             if (!exist_file (extension_file))
extension_file    825 src/filemanager/ext.c                 MC_PTR_FREE (extension_file);
extension_file    830 src/filemanager/ext.c     if (extension_file != NULL)
extension_file    832 src/filemanager/ext.c         ext_ini = mc_config_init (extension_file, TRUE);
extension_file    833 src/filemanager/ext.c         g_free (extension_file);
extension_file    859 src/filemanager/ext.c         extension_file = mc_config_get_full_path (MC_EXT_FILE);
extension_file    863 src/filemanager/ext.c                  extension_file, mc_global.sysconfig_dir, MC_EXT_FILE);
extension_file    864 src/filemanager/ext.c         g_free (extension_file);