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