file_progress_ui_destroy  801 src/filemanager/file.c     file_progress_ui_destroy (ctx);
file_progress_ui_destroy  815 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);