The POP e-mail account I use for mobile is linked to an externally-managed anti-spam gateway. It was starting to get too many false positives, so the other day I went through the web UI to mark a whole boatload of old messages as "not spam" to give it a nudge in the right direction.
Of course, they all ended up back in the Inbox and subsequently got downloaded onto my phone. I deleted them, and now they're just sitting there in the trash. All 450 of them.
I really don't want to have to delete every single message from the trash manually. After several minutes of digging on Google I've found genuinely ancient bug reports with no workarounds.
Surely I'm just overlooking an obvious menu item somewhere and Google hasn't actually let such an obvious, gaping feature hole go unplugged for over 2 years, right? So where is it? How do I empty the trash?
P.S. I'm aware of the fact that messages older than 30 days are supposed to be deleted automatically. That's not happening - possibly because they were already more than 30 days old when they were downloaded in the first place.
P.P.S. Please do not tell me to use K9Mail or any other 3rd-party mail program. I'm sure they're great but any e-mail client that doesn't support Exchange ActiveSync is completely useless to me, and so far the only one I've found that seems to do it properly is the stock e-mail app. Sorry if this comes across as grouchy but I am absolutely sick of seeing this "solution" posted thoughtlessly to every single forum/thread I read that happens to mention a problem with e-mail.