#024: Delete permanently

How to reproduce:

Right-click on a file. Check that you can delete it (as opposed to "moving it to trash").

What to expect:

Ideally you should see two options, one for the Trash, and one to permanently delete the file.


Note that some desktops do not support either the Trash or direct deletions.