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