- I removed unused audio files to the trash.
- I then selected empty trash.
- Instead of hitting “erase”, which I normally do, I selected “remove from pool” by mistake.
As my files are now no longer in the trash I see no obvious way of erasing them from the hard drive as there are no files to select anymore !
My question is, how can I get them BACK in the pool to delete them from the hard drive permanently ?