file_op_context_destroy 3717 src/filemanager/file.c     file_op_context_destroy (ctx);
file_op_context_destroy  164 src/filemanager/filegui.h void file_op_context_destroy (file_op_context_t *ctx);
file_op_context_destroy  732 src/filemanager/tree.c         file_op_context_destroy (ctx);
file_op_context_destroy  775 src/filemanager/tree.c             file_op_context_destroy (ctx);
file_op_context_destroy  830 src/filemanager/tree.c     file_op_context_destroy (ctx);
file_op_context_destroy   69 src/util.c             file_op_context_destroy (ctx);