file_progress_ui_destroy  808 src/filemanager/file.c     file_progress_ui_destroy (ctx);
file_progress_ui_destroy  810 src/filemanager/filegui.c         file_progress_ui_destroy (ctx);
file_progress_ui_destroy  168 src/filemanager/filegui.h void file_progress_ui_destroy (file_op_context_t * ctx);