sorry--the delete button actually deletes the file(s).

The request that they be moved to the trash has been made, but no word if it will happen soon.

There are programs that recover files, but don't expect to get all (or any) back. Still, might be worth a try.