extension_file    786 src/filemanager/ext.c     char *extension_file;
extension_file    790 src/filemanager/ext.c     extension_file = mc_config_get_full_path (MC_EXT_FILE);
extension_file    791 src/filemanager/ext.c     if (!exist_file (extension_file))
extension_file    793 src/filemanager/ext.c         g_free (extension_file);
extension_file    798 src/filemanager/ext.c         extension_file = mc_build_filename (mc_global.sysconfig_dir, MC_EXT_FILE, (char *) NULL);
extension_file    799 src/filemanager/ext.c         if (!exist_file (extension_file))
extension_file    801 src/filemanager/ext.c             g_free (extension_file);
extension_file    802 src/filemanager/ext.c             extension_file =
extension_file    804 src/filemanager/ext.c             if (!exist_file (extension_file))
extension_file    805 src/filemanager/ext.c                 MC_PTR_FREE (extension_file);
extension_file    810 src/filemanager/ext.c     if (extension_file != NULL)
extension_file    812 src/filemanager/ext.c         ext_ini = mc_config_init (extension_file, TRUE);
extension_file    813 src/filemanager/ext.c         g_free (extension_file);
extension_file    839 src/filemanager/ext.c         extension_file = mc_config_get_full_path (MC_EXT_FILE);
extension_file    844 src/filemanager/ext.c             extension_file, mc_global.sysconfig_dir, MC_EXT_FILE);
extension_file    845 src/filemanager/ext.c         g_free (extension_file);