file_op_context_destroy 3726 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  731 src/filemanager/tree.c         file_op_context_destroy (ctx);
file_op_context_destroy  772 src/filemanager/tree.c             file_op_context_destroy (ctx);
file_op_context_destroy  827 src/filemanager/tree.c     file_op_context_destroy (ctx);
file_op_context_destroy   65 src/util.c             file_op_context_destroy (ctx);