Comment 4 for bug 1218089

@Carlos Jose Mazieri
It is not important if there is a file manager out there already doing it. Google Mail on Android for example has the described undo-remove feature and it's a big usability win. The delete function stays out of the way and is still easily accessible.

Android: http://eurodroid.com/edpics3/nexus-5-review-29.png
iOS seems to have it too: http://socialtimes.com/files/2011/04/gmail_undo.png