Describe your feature request
Add a list of your deleted files to your repl history so that you can restore them if you want them back (rather than having to remember the name of all your files and do the trick of recreating them)
What problem(s) would this feature solve?
Add a practical solution for when users want to restore deleted files
Explain what you were trying to do when you came across the problem leading to this feature request
When you forget the name of a file that you have deleted, but want to be able to restore it.
When you delete a repl, you can recover it, does that mean we should rename “delete repl”? Or just acknowledge that when you delete something, very rarely do you actually remove all records of its existence.