orig_mask        1332 src/filemanager/filegui.c         char *source_mask, *orig_mask;
orig_mask        1437 src/filemanager/filegui.c         orig_mask = ctx->dest_mask;
orig_mask        1450 src/filemanager/filegui.c             *orig_mask = '\0';