extension_file    787 src/filemanager/ext.c     char *extension_file;
extension_file    791 src/filemanager/ext.c     extension_file = mc_config_get_full_path (MC_EXT_FILE);
extension_file    792 src/filemanager/ext.c     if (!exist_file (extension_file))
extension_file    794 src/filemanager/ext.c         g_free (extension_file);
extension_file    799 src/filemanager/ext.c         extension_file = mc_build_filename (mc_global.sysconfig_dir, MC_EXT_FILE, (char *) NULL);
extension_file    800 src/filemanager/ext.c         if (!exist_file (extension_file))
extension_file    802 src/filemanager/ext.c             g_free (extension_file);
extension_file    803 src/filemanager/ext.c             extension_file =
extension_file    805 src/filemanager/ext.c             if (!exist_file (extension_file))
extension_file    806 src/filemanager/ext.c                 MC_PTR_FREE (extension_file);
extension_file    811 src/filemanager/ext.c     if (extension_file != NULL)
extension_file    813 src/filemanager/ext.c         ext_ini = mc_config_init (extension_file, TRUE);
extension_file    814 src/filemanager/ext.c         g_free (extension_file);
extension_file    840 src/filemanager/ext.c         extension_file = mc_config_get_full_path (MC_EXT_FILE);
extension_file    845 src/filemanager/ext.c             extension_file, mc_global.sysconfig_dir, MC_EXT_FILE);
extension_file    846 src/filemanager/ext.c         g_free (extension_file);