extension_file    799 src/filemanager/ext.c     char *extension_file;
extension_file    803 src/filemanager/ext.c     extension_file = mc_config_get_full_path (MC_EXT_FILE);
extension_file    804 src/filemanager/ext.c     if (!exist_file (extension_file))
extension_file    806 src/filemanager/ext.c         g_free (extension_file);
extension_file    811 src/filemanager/ext.c         extension_file = mc_build_filename (mc_global.sysconfig_dir, MC_EXT_FILE, (char *) NULL);
extension_file    812 src/filemanager/ext.c         if (!exist_file (extension_file))
extension_file    814 src/filemanager/ext.c             g_free (extension_file);
extension_file    815 src/filemanager/ext.c             extension_file =
extension_file    817 src/filemanager/ext.c             if (!exist_file (extension_file))
extension_file    818 src/filemanager/ext.c                 MC_PTR_FREE (extension_file);
extension_file    823 src/filemanager/ext.c     if (extension_file != NULL)
extension_file    825 src/filemanager/ext.c         ext_ini = mc_config_init (extension_file, TRUE);
extension_file    826 src/filemanager/ext.c         g_free (extension_file);
extension_file    852 src/filemanager/ext.c         extension_file = mc_config_get_full_path (MC_EXT_FILE);
extension_file    857 src/filemanager/ext.c             extension_file, mc_global.sysconfig_dir, MC_EXT_FILE);
extension_file    858 src/filemanager/ext.c         g_free (extension_file);