How delete audio files from trash after removing from pool ?

From Pool:

  1. I removed unused audio files to the trash.
  2. I then selected empty trash.
  3. 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 ?

You’ll have to locate them in the project’s directory. But while you’re there you might as well delete them immediately instead of putting them back into the pool first…