#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.
No reports so far.