flush_extension_file  841 src/filemanager/cmd.c     flush_extension_file ();
flush_extension_file  821 src/filemanager/ext.c         flush_extension_file ();
flush_extension_file   23 src/filemanager/ext.h void flush_extension_file (void);
flush_extension_file  450 src/main.c         flush_extension_file ();  // does only free memory